Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 41 | 1800.16 | 1800.77 |
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.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/453780-1178156503/instance-453780-1178156503.opb 0.00/0.00 c File size is 223821 bytes. 0.00/0.09 c Highest Coefficient sum: 500 0.00/0.09 c Parsing was ok!! 0.00/0.09 c Total parsing time: 0.09 s 0.09/0.11 c Var: 16254 Constr: 32008 16254/0/15754 Lit: 110778 Watch. Lit: 79770 0.09/0.11 c Obj. Vars: 500 (3.07617 % of total variables) 1.29/1.30 c Pre-processing Time: 1.303 s 1.29/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.30 c 0 16254 32008 110778 3 79770 99942 0 0 1.30 1.29/1.30 c Switching off LPR mode. 1.29/1.32 o 499 1.323 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 0 16254 32009 111278 3 79773 100275 1 0 1.33 1.29/1.35 o 498 1.351 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 0 16254 32010 111778 3 79777 100775 2 0 1.36 1.29/1.38 o 497 1.383 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 0 16254 32011 112278 3 79782 101442 3 0 1.39 1.39/1.41 o 496 1.415 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.42 1.39/1.45 o 495 1.446 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.476 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.508 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.539 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.571 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.601 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.691 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.723 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.754 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.785 1.79/1.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.82 c 0 16254 32024 118778 3 79938 114275 16 0 1.79 1.79/1.82 o 483 1.816 1.79/1.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.85 c 0 16254 32025 119278 3 79957 115275 17 0 1.82 1.79/1.85 o 482 1.847 1.79/1.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.88 c 0 16254 32026 119778 3 79977 116275 18 0 1.86 1.79/1.88 o 481 1.878 1.89/1.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.91 c 0 16254 32027 120278 3 79998 117275 19 0 1.89 1.89/1.91 o 480 1.91 1.89/1.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.94 c 0 16254 32028 120778 3 80020 118275 20 0 1.92 1.89/1.94 o 479 1.94 1.89/1.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.97 c 0 16254 32029 121278 3 80043 119275 21 0 1.95 1.89/1.97 o 478 1.971 1.99/2.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.00 c 0 16254 32030 121778 3 80067 120275 22 0 1.98 1.99/2.00 o 477 2.001 1.99/2.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.03 c 0 16254 32031 122278 3 80092 121275 23 0 2.01 1.99/2.03 o 476 2.032 1.99/2.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.06 c 0 16254 32032 122778 3 80118 122275 24 0 2.04 1.99/2.06 o 475 2.064 1.99/2.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.09 c 0 16254 32033 123278 3 80145 123275 25 0 2.07 1.99/2.09 o 474 2.093 2.09/2.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.12 c 0 16254 32034 123778 3 80173 124275 26 0 2.10 2.09/2.12 o 473 2.125 2.09/2.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.16 c 0 16254 32035 124278 3 80202 125275 27 0 2.13 2.09/2.16 o 472 2.156 2.09/2.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.19 c 0 16254 32036 124778 3 80232 126275 28 0 2.17 2.09/2.19 o 471 2.187 2.19/2.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.22 c 0 16254 32037 125278 3 80263 127275 29 0 2.20 2.19/2.22 o 470 2.219 2.19/2.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.25 c 0 16254 32038 125778 3 80295 128275 30 0 2.23 2.19/2.25 o 469 2.247 2.19/2.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.28 c 0 16254 32039 126278 3 80328 129275 31 0 2.26 2.19/2.28 o 468 2.279 2.28/2.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.28/2.31 c 0 16254 32040 126778 3 80362 130275 32 0 2.29 2.28/2.31 o 467 2.311 2.28/2.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.28/2.35 c 1 16254 32042 127746 3 80399 130275 34 0 2.32 2.28/2.35 o 43 2.348 2.28/2.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.28/2.38 c 1 16254 32043 128246 4 80858 130275 35 0 2.36 2.28/2.38 o 42 2.385 2.38/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.38/2.43 c 1 16254 32044 128746 4 81318 130275 36 0 2.40 2.38/2.43 o 41 2.431 1799.99/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.99/1800.60 c 23 16254 32067 132609 4 81823 130275 59 9 2.44 1799.99/1800.60 c 123 16254 32167 148181 4 82023 143303 159 48 2.52 1799.99/1800.60 c 373 16254 32417 189957 5 82523 157634 409 140 2.65 1799.99/1800.60 c 848 16254 32892 258104 7 83473 173398 884 293 2.89 1799.99/1800.60 c 1661 16254 33705 367328 10 85099 190738 1697 497 3.34 1799.99/1800.60 c 2981 16254 35025 589342 16 87739 209812 3017 718 4.15 1799.99/1800.60 c 5062 16254 37106 964095 25 91901 230794 5098 967 5.23 1799.99/1800.60 c 8286 16254 40330 1386743 34 98349 253874 8322 1146 7.23 1799.99/1800.60 c 13222 16254 45266 2373963 52 108221 279262 13258 1228 10.76 1799.99/1800.60 c 20728 16254 52772 3833250 72 123233 307189 20764 1105 18.75 1799.99/1800.60 c 32090 16254 64134 5629770 87 145957 337908 32126 1013 31.67 1799.99/1800.60 c 49234 16254 81278 8709894 107 180245 371699 49270 837 58.76 1799.99/1800.60 c 75053 16254 107097 13991979 130 231883 408869 75089 708 105.88 1799.99/1800.61 c 113885 16254 145929 21944791 150 309547 449756 113921 441 257.90 1799.99/1800.61 c 172237 16254 204281 35428393 173 426251 494732 172273 333 517.16 1799.99/1800.61 c 259869 16254 291913 57758713 197 601515 544206 259905 234 1110.54 1799.99/1800.61 c Resources Exceeded 1799.99/1800.61 v x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 x18 x19 x20 x21 -x22 x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 x31 1799.99/1800.61 v -x32 x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 x59 1799.99/1800.61 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 1799.99/1800.61 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1799.99/1800.61 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1799.99/1800.61 v -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 1799.99/1800.61 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1799.99/1800.61 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1799.99/1800.61 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1799.99/1800.61 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1799.99/1800.61 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 x250 x251 -x252 -x253 -x254 -x255 1799.99/1800.61 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1799.99/1800.61 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1799.99/1800.61 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 x314 -x315 -x316 -x317 -x318 1799.99/1800.61 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1799.99/1800.61 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1799.99/1800.61 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 1799.99/1800.61 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1799.99/1800.61 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1799.99/1800.61 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1799.99/1800.61 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1799.99/1800.61 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 x486 1799.99/1800.61 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1799.99/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.61 c 51 358886 114749 610815 390930 76613628 358922 199 1800.00 1799.99/1800.61 c Objective: 41 1799.99/1800.61 s SATISFIABLE 1799.99/1800.61 c Total time: 1800 s
OK 41
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-453780-1178156503 -o ROOT/results/node15/solver-453780-1178156503 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453780-1178156503/instance-453780-1178156503.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.97 0.99 3/77 6784 /proc/meminfo: memFree=1712192/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=11956 CPUtime=0 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 263567887 12242944 335 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 2989 335 281 324 0 2003 0 [startup+0.0958589 s] /proc/loadavg: 0.85 0.97 0.99 3/77 6784 /proc/meminfo: memFree=1712192/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=8808 CPUtime=0.08 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 1640 0 0 0 8 0 0 0 18 0 1 0 263567887 9019392 1555 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134523468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 2202 1555 300 324 0 1271 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8808 [startup+0.101859 s] /proc/loadavg: 0.85 0.97 0.99 3/77 6784 /proc/meminfo: memFree=1712192/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=9064 CPUtime=0.09 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 1645 0 0 0 9 0 0 0 18 0 1 0 263567887 9281536 1560 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134560917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 2266 1569 301 324 0 1335 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9064 [startup+0.301875 s] /proc/loadavg: 0.85 0.97 0.99 3/77 6784 /proc/meminfo: memFree=1712192/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=12160 CPUtime=0.29 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 2427 0 0 0 29 0 0 0 19 0 1 0 263567887 12451840 2342 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 3040 2342 306 324 0 2109 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12160 [startup+0.701913 s] /proc/loadavg: 0.85 0.97 0.99 3/77 6784 /proc/meminfo: memFree=1712192/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=12160 CPUtime=0.69 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 2427 0 0 0 68 1 0 0 23 0 1 0 263567887 12451840 2342 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 3040 2342 306 324 0 2109 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12160 [startup+1.50199 s] /proc/loadavg: 0.85 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1703864/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=12584 CPUtime=1.49 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 3070 0 0 0 144 5 0 0 25 0 1 0 263567887 12886016 2457 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 3146 2457 311 324 0 2215 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12584 [startup+3.10113 s] /proc/loadavg: 0.85 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1703288/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=15300 CPUtime=3.09 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 3748 0 0 0 301 8 0 0 25 0 1 0 263567887 15667200 3135 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 3825 3135 312 324 0 2894 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15300 [startup+6.30143 s] /proc/loadavg: 0.86 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1691256/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=27392 CPUtime=6.29 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 6783 0 0 0 618 11 0 0 25 0 1 0 263567887 28049408 6170 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 6848 6170 312 324 0 5917 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27392 [startup+12.702 s] /proc/loadavg: 0.87 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1668544/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=49556 CPUtime=12.69 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 12341 0 0 0 1255 14 0 0 25 0 1 0 263567887 50745344 11728 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 12389 11728 312 324 0 11458 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49556 [startup+25.5012 s] /proc/loadavg: 0.90 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1639488/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=76764 CPUtime=25.48 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 19130 0 0 0 2527 21 0 0 25 0 1 0 263567887 78606336 18517 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 19191 18517 312 324 0 18260 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 76764 [startup+51.1015 s] /proc/loadavg: 0.93 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1598336/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=118188 CPUtime=51.07 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 29479 0 0 0 5076 31 0 0 25 0 1 0 263567887 121024512 28866 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 29547 28866 312 324 0 28616 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 118188 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1523008/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=192820 CPUtime=102.26 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 48152 0 0 0 10176 50 0 0 25 0 1 0 263567887 197447680 47539 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 48205 47539 312 324 0 47274 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 192820 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1462912/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=252920 CPUtime=162.24 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 63181 0 0 0 16158 66 0 0 25 0 1 0 263567887 258990080 62568 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 63230 62568 312 324 0 62299 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 252920 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1427904/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=287564 CPUtime=222.23 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 71819 0 0 0 22148 75 0 0 25 0 1 0 263567887 294465536 71206 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 71891 71206 312 324 0 70960 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 287564 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1385280/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=330652 CPUtime=282.22 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 82616 0 0 0 28135 87 0 0 25 0 1 0 263567887 338587648 82003 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 82663 82003 312 324 0 81732 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 330652 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1338752/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=376564 CPUtime=342.2 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 94088 0 0 0 34120 100 0 0 25 0 1 0 263567887 385601536 93475 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 94141 93475 312 324 0 93210 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 376564 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1295872/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=419732 CPUtime=402.18 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 104887 0 0 0 40108 110 0 0 25 0 1 0 263567887 429805568 104274 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 104933 104274 312 324 0 104002 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 419732 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1259072/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=456048 CPUtime=462.16 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 113963 0 0 0 46097 119 0 0 25 0 1 0 263567887 466993152 113350 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 114012 113350 312 324 0 113081 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 456048 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1231616/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=484044 CPUtime=522.15 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 120954 0 0 0 52087 128 0 0 25 0 1 0 263567887 495661056 120341 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134587020 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 121011 120341 312 324 0 120080 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 484044 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1194688/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=520428 CPUtime=582.14 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 130061 0 0 0 58076 138 0 0 25 0 1 0 263567887 532918272 129448 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 130107 129448 312 324 0 129176 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 520428 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1161536/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=553336 CPUtime=642.12 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 138277 0 0 0 64066 146 0 0 25 0 1 0 263567887 566616064 137664 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 138334 137664 312 324 0 137403 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 553336 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1039744/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=674908 CPUtime=882.05 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 168658 0 0 0 88027 178 0 0 25 0 1 0 263567887 691105792 168045 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 168727 168045 312 324 0 167796 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 674908 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1019456/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=695152 CPUtime=942.04 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 173734 0 0 0 94018 186 0 0 25 0 1 0 263567887 711835648 173121 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 173788 173121 312 324 0 172857 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 695152 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=1000448/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=714108 CPUtime=1002.02 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 178469 0 0 0 100009 193 0 0 25 0 1 0 263567887 731246592 177856 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 178527 177856 312 324 0 177596 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 714108 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=965760/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=749284 CPUtime=1062.01 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 187271 0 0 0 106000 201 0 0 25 0 1 0 263567887 767266816 186658 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 7946390 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 187321 186658 312 324 0 186390 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 749284 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6785 /proc/meminfo: memFree=932480/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=782000 CPUtime=1121.99 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 195439 0 0 0 111990 209 0 0 25 0 1 0 263567887 800768000 194826 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 195500 194826 312 324 0 194569 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 782000 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/84 6907 /proc/meminfo: memFree=897808/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=815648 CPUtime=1181.92 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 203846 0 0 0 117972 220 0 0 25 0 1 0 263567887 835223552 203233 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 203912 203233 312 324 0 202981 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 815648 [startup+1242.3 s] /proc/loadavg: 1.17 1.02 1.00 2/78 7459 /proc/meminfo: memFree=870136/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=843336 CPUtime=1241.84 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 210760 0 0 0 123954 230 0 0 25 0 1 0 263567887 863576064 210147 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 210834 210147 312 324 0 209903 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 843336 [startup+1302.3 s] /proc/loadavg: 1.06 1.01 1.00 2/78 7459 /proc/meminfo: memFree=847864/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=865324 CPUtime=1301.82 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 216265 0 0 0 129944 238 0 0 25 0 1 0 263567887 886091776 215652 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 216331 215652 312 324 0 215400 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 865324 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 7459 /proc/meminfo: memFree=824440/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=889072 CPUtime=1361.8 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 222220 0 0 0 135936 244 0 0 25 0 1 0 263567887 910409728 221607 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 222268 221607 312 324 0 221337 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 889072 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/78 7459 /proc/meminfo: memFree=804600/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=908512 CPUtime=1421.79 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 227081 0 0 0 141929 250 0 0 25 0 1 0 263567887 930316288 226468 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 227128 226468 312 324 0 226197 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 908512 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7459 /proc/meminfo: memFree=781048/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=932092 CPUtime=1481.77 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 232973 0 0 0 147922 255 0 0 25 0 1 0 263567887 954462208 232360 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 233023 232360 312 324 0 232092 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 932092 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7459 /proc/meminfo: memFree=756224/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=956876 CPUtime=1541.75 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 239146 0 0 0 153914 261 0 0 25 0 1 0 263567887 979841024 238533 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 239219 238533 312 324 0 238288 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 956876 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7459 /proc/meminfo: memFree=740800/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=972536 CPUtime=1601.73 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 243075 0 0 0 159905 268 0 0 25 0 1 0 263567887 995876864 242462 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 243134 242462 312 324 0 242203 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 972536 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 7459 /proc/meminfo: memFree=723072/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=990004 CPUtime=1661.72 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 247445 0 0 0 165899 273 0 0 25 0 1 0 263567887 1013764096 246832 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 247501 246832 312 324 0 246570 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 990004 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7459 /proc/meminfo: memFree=705664/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=1007460 CPUtime=1721.71 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 251814 0 0 0 171891 280 0 0 25 0 1 0 263567887 1031639040 251201 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 251865 251201 312 324 0 250934 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1007460 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7459 /proc/meminfo: memFree=690240/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=1022724 CPUtime=1781.69 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194304 255629 0 0 0 177883 286 0 0 25 0 1 0 263567887 1047269376 255016 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 255681 255016 312 324 0 254750 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 1022724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7459 /proc/meminfo: memFree=1291520/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=0 CPUtime=1800.09 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194308 256551 0 0 0 179712 297 0 0 25 0 1 0 263567887 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7459 /proc/meminfo: memFree=1291520/2055920 swapFree=4169108/4192956 [pid=6784] ppid=6782 vsize=0 CPUtime=1800.09 /proc/6784/stat : 6784 (bsolo3.0.16) R 6782 6784 6307 0 -1 4194308 256551 0 0 0 179712 297 0 0 25 0 1 0 263567887 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6784/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.16 CPU user time (s): 1797.12 CPU system time (s): 3.03754 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 1026464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.12 system time used= 3.03754 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 256551 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= 37248 runsolver used 1.3378 second user time and 3.9524 second system time The end
Begin job on node15 on Thu May 3 01:41:43 UTC 2007 IDJOB= 453780 IDBENCH= 48153 IDSOLVER= 163 FILE ID= node15/453780-1178156503 PBS_JOBID= 4751090 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/mds/normalized-mds_500_25_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453780-1178156503/instance-453780-1178156503.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-453780-1178156503 -o ROOT/results/node15/solver-453780-1178156503 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453780-1178156503/instance-453780-1178156503.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 3feaf3974ec1ffdea6d6674c11d1a071 RANDOM SEED= 710367427 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1712600 kB Buffers: 118480 kB Cached: 128088 kB SwapCached: 2380 kB Active: 161804 kB Inactive: 115944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1712600 kB SwapTotal: 4192956 kB SwapFree: 4169108 kB Dirty: 6924 kB Writeback: 0 kB Mapped: 35128 kB Slab: 50948 kB Committed_AS: 10535040 kB PageTables: 1880 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 node15 on Thu May 3 02:11:46 UTC 2007