Trace number 3736073

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)26 1800.1 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark47.4058
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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 15500 MB
0.00/0.00	c Instance file HOME/instance-3736073-1338708457.opb
0.00/0.00	c File size is 560274 bytes.
0.02/0.05	c Highest Coefficient sum: 643
0.02/0.05	c Parsing was ok!!
0.02/0.05	c Total parsing time: 0.044 s
0.02/0.05	c Var: 5499 Constr: 19319 19318/1/0 Lit: 49111 Watch. Lit: 39215
0.02/0.05	c Obj. Vars: 613 (11.1475 % of total variables)
0.09/0.15	c Pre-processing Time: 0.148 s
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   5488    19296    49070    2    39174    7431      0      0 0.15
0.09/0.15	c Switching off LPR mode.
0.09/0.15	o 28	0.152
0.18/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.18/0.21	c       16   5488    19313    51813    2    39793    8431     17    104 0.15
0.18/0.21	c      116   5488    19413    62391    3    39993    9275    117    557 0.21
0.18/0.21	o 27	0.212
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c      125   5488    19423    63409    3    40599    8431    127    586 0.21
0.49/0.53	c      226   5488    19524    71678    3    40801    9275    228    969 0.23
0.49/0.53	c      476   5488    19774    98187    4    41301   10203    478   1438 0.33
0.49/0.53	c      953   5488    20251   147797    7    42255   11224    955   2376 0.40
0.49/0.53	o 26	0.525
1800.08/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.50	c     1475   5488    20774   215951   10    43888    8431   1478   2804 0.53
1800.08/1800.50	c     1576   5488    20875   226914   10    44090    9275   1579   2875 0.55
1800.08/1800.50	c     1827   5488    21126   246762   11    44592   10203   1830   3096 0.59
1800.08/1800.50	c     2303   5488    21602   288829   13    45544   11224   2306   3159 0.73
1800.08/1800.50	c     3117   5488    22416   635787   28    47172   12347   3120   2841 1.10
1800.08/1800.50	c     4439   5488    23738   882536   37    49816   13582   4442   3157 1.41
1800.08/1800.50	c     6521   5488    25820  1415557   54    53980   14941   6524   3291 1.98
1800.08/1800.50	c     9745   5488    29044  2698452   92    60428   16436   9748   2439 3.99
1800.08/1800.50	c    14682   5488    33981  4044095  119    70302   18080  14685   2270 6.46
1800.08/1800.50	c    22189   5488    29089  1432947   49    59347   19889   9793   1848 12.00
1800.08/1800.50	c    33550   5488    29242  2944697  100    59653   21878   9946   1918 17.49
1800.08/1800.50	c    50697   5488    30501  2732125   89    62171   24066  11205   1656 30.61
1800.08/1800.50	c    76516   5488    39533  7217525  182    80235   26473  20237   1391 54.98
1800.08/1800.50	c   115349   5488    39456  8545135  216    80081   29121  20160   1008 114.38
1800.08/1800.50	c   173701   5488    32848  7897067  240    66865   32034  13552    616 281.68
1800.08/1800.50	c   261334   5488    47927  7745038  161    97023   35238  28631    666 391.90
1800.08/1800.50	c   392887   5488    41278 10957543  265    83725   38762  21982    483 813.25
1800.08/1800.50	c   590320   5488    54391  9951210  182   109951   42639  35095    556 1059.95
1800.08/1800.50	c Caught signal: 15
1800.08/1800.50	v x1 x177 x350 x700 x857 -x926 -x953 -x980 -x1007 -x1034 -x1061 -x1088 x10 -x1115 -x13 -x1127 -x16 -x1139 -x19 -x1151 -x22 -x1163 -x25 -x1175 -x28 -x1187 -x31 -x1199 -x34 -x1211 -x37 -x1223 -x40 -x1235 -x43 -x1247 -x46 -x1259 -x49 -x1271 -x52 -x1283 -x55 -x1295 x58 x1307 -x61 -x1319 -x64 -x1331 -x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 -x1381 -x1383 -x1388 -x1390 x1395 -x1397 -x1402 -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 -x1444 -x1446 -x1451 -x1453 -x1458 -x1460 -x1465 -x1467 -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509 -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535 -x1537 -x1542 -x1544 -x1549 x1551 -x1556 -x1558 -x1563 -x1565 -x1570 -x1572 -x1577 -x1579 -x1584 -x1586 -x1591 -x1593 -x1598 -x1600 -x1605 -x1607 -x1612 x1639 -x1666 -x1693 -x1720 -x1747 -x1774 -x186 -x1801 -x189 -x1813 x192 -x1825 -x195 -x1837 -x198 -x1849 -x201 -x1861 -x204 x1873 -x207 -x1885 -x1897 -x212 -x1909 -x215 -x1921 -x1933 x220 -x1945 -x223 -x1957 -x226 -x1969 -x229 -x1981 -x232 -x1993 -x2005 -x237 -x2017 -x240 -x2029 -x243 -x2041 -x2053 -x2055 -x2060 -x2062 -x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2090 -x2095 -x2097 -x2102 -x2104 -x2109 -x2111 -x2116 -x2118 x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153 -x2158 -x2160 -x2165 -x2167 -x2172 -x2174 -x2179 x2181 -x2186 -x2188 -x2193 -x2195 -x2200 -x2202 -x2207 -x2209 -x2214 -x2216 -x2221 -x2223 -x2228 -x2230 -x2235 -x2237 -x2242 -x2244 -x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 -x2277 -x2279 -x2284 -x2286 -x2291 -x2293 -x2298 -x2356 -x2414 -x2472 x2530 -x2588 -x2646 -x2704 -x2762 -x362 -x2789 -x365 -x2816 -x368 -x2843 -x2870 -x373 -x2897 -x2924 -x378 -x2951 -x2978 -x3005 -x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167 -x400 -x3194 -x3221 -x3248 -x3275 -x409 -x3302 -x412 -x3329 -x3356 x3383 -x419 -x3410 -x422 -x3437 -x3464 -x427 -x3491 -x3518 -x3520 -x3532 -x3534 -x3546 -x3548 -x3560 -x3572 -x3574 x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880 -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3952 -x3964 -x3966 -x3978 -x3980 -x3992 -x3994 -x4006 -x4008 -x4020 -x4022 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4118 -x4130 -x4132 -x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216 -x4228 -x4230 -x4242 -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338 -x4343 -x4348 -x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 -x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423 x4428 -x4433 -x4438 -x4443 -x4448 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513 -x4518 -x4523 -x4528 -x4533 -x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593 -x4598 -x4603 -x4608 -x4613 -x4618 -x4623 -x4628 -x4633 -x4638 -x4643 -x4648 -x4675 -x4702 -x4729 -x4756 -x4783 x4810 -x709 -x4837 -x4849 -x714 -x4861 -x4873 -x719 -x4885 -x722 -x4897 -x4909 -x4921 -x4933 -x4945 x4957 -x735 -x4969 -x4981 -x4993 -x5005 -x744 -x5017 -x747 -x5029 -x5041 -x5053 -x754 -x5065 -x5077 -x5089 -x5091 -x5096 -x5098 -x5103 -x5105 -x5110 -x5112 -x5117 -x5119 -x5124 -x5126 -x5131 -x5133 -x5138 -x5140 -x5145 -x5147 -x5152 -x5154 -x5156 -x5161 -x5163 -x5168 -x5170 -x5175 -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 -x5203 -x5208 -x5213 -x5215 -x5220 -x5222 -x5227 x5229 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 x5272 -x5274 -x5279 -x5281 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 -x5319 x5331 -x5343 -x5355 -x5367 -x5379 -x5391 -x5396 -x5401 -x5406 -x5411 -x875 x5416 -x5421 -x880 -x5426 -x5431 -x885 -x5436 -x888 -x5441 -x891 -x5446 -x5451 -x5456 -x5461 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 x57 x59 -x60 -x62 -x63 -x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 -x79 -x78 -x80 -x82 -x81 -x83 x85 -x84 -x86 -x88 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x185 -x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202 -x203 x205 -x206 -x208 -x209 -x210 -x211 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x224 -x225 -x227 -x228 -x230 -x231 -x233 -x234 -x235 -x236 -x238 -x239 -x241 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x359 -x360 -x361 -x363 -x364 -x366 -x367 -x369 -x370 -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x388 -x389 -x391 -x392 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x410 -x411 -x413 -x414 -x415 -x416 x417 -x418 -x420 -x421 -x423 -x424 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x438 -x439 -x441 -x440 -x442 x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x539 -x540 -x542 -x541 -x543 -x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x708 -x710 -x711 -x712 -x713 -x715 -x716 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x788 -x787 -x789 -x791 -x790 -x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x808 -x809 -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 x820 -x821 -x822 -x824 -x823 -x825 -x826 -x827 -x829 -x828 -x830 -x832 -x831 -x833 -x835 -x834 -x836 x838 -x837 -x839 -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847 -x849 -x848 -x850 -x852 -x851 -x853 -x855 -x854 -x856 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x886 -x887 -x889 -x890 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x900 -x899 -x902 -x901 -x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 -x912 -x914 -x913 -x916 -x915 -x917 -x919 -x918 -x920 -x921 -x922 -x924 -x923 -x925 -x858 x859 -x860 -x861 -x862 -x863 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1368 -x1370 -x1371 -x1372 -x1373 x1375 -x1377 -x1378 -x1379 -x1380 x1382 -x1384 -x1385 -x1386 -x1387 x1389 -x1391 -x1392 -x1393 -x1394 x1396 -x1398 -x1399 -x1400 -x1401 -x1403 -x1405 -x1406 -x1407 -x1408 -x1410 -x1412 -x1413 -x1414 -x1415 -x1417 -x1419 -x1420 -x1421 -x1422 -x1424 -x1426 -x1427 -x1428 -x1429 -x1431 -x1433 -x1434 -x1435 -x1436 x1438 -x1440 -x1441 -x1442 -x1443 -x1445 -x1447 -x1448 -x1449 -x1450 -x1452 -x1454 -x1455 -x1456 -x1457 -x1459 -x1461 -x1462 -x1463 -x1464 -x1466 -x1468 -x1469 -x1470 -x1471 -x1473 -x1475 -x1476 -x1477 -x1478 -x1480 -x1482 -x1483 -x1484 -x1485 -x1487 -x1489 -x1490 -x1491 -x1492 -x1494 -x1496 -x1497 -x1498 -x1499 -x1501 -x1503 -x1504 -x1505 -x1506 x1508 -x1510 -x1511 -x1512 -x1513 -x1515 -x1517 -x1518 -x1519 -x1520 -x1522 -x1524 -x1525 -x1526 -x1527 -x1529 -x1531 -x1532 -x1533 -x1534 -x1536 -x1538 -x1539 -x1540 -x1541 -x1543 x1545 -x1546 -x1547 -x1548 x1550 x1552 -x1553 -x1554 -x1555 -x1557 -x1559 -x1560 -x1561 -x1562 -x1564 x1566 -x1567 -x1568 -x1569 -x1571 x1573 x1574 -x1575 -x1576 -x1578 -x1580 -x1581 -x1582 -x1583 x1585 x1587 -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 x1599 -x1601 -x1602 -x1603 -x1604 -x1606 -x1608 -x1609 -x1610 -x1611 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2054 -x2056 -x2057 -x2058 -x2059 x2061 -x2063 -x2064 -x2065 -x2066 -x2068 -x2070 -x2071 -x2072 -x2073 -x2075 -x2077 -x2078 -x2079 -x2080 -x2082 -x2084 -x2085 -x2086 -x2087 x2089 -x2091 -x2092 -x2093 -x2094 x2096 -x2098 -x2099 -x2100 -x2101 -x2103 -x2105 -x2106 -x2107 -x2108 -x2110 -x2112 -x2113 -x2114 -x2115 x2117 -x2119 -x2120 -x2121 -x2122 x2124 -x2126 -x2127 -x2128 -x2129 x2131 -x2133 -x2134 -x2135 -x2136 -x2138 -x2140 -x2141 -x2142 -x2143 -x2145 -x2147 -x2148 -x2149 -x2150 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2161 -x2162 -x2163 -x2164 x2166 x2168 -x2169 -x2170 -x2171 -x2173 -x2175 -x2176 -x2177 -x2178 -x2180 x2182 -x2183 -x2184 -x2185 -x2187 -x2189 -x2190 -x2191 -x2192 -x2194 -x2196 -x2197 -x2198 -x2199 -x2201 -x2203 -x2204 -x2205 -x2206 -x2208 -x2210 -x2211 -x2212 -x2213 -x2215 x2217 -x2218 -x2219 -x2220 -x2222 x2224 -x2225 x2226 -x2227 x2229 -x2231 -x2232 -x2233 -x2234 -x2236 -x2238 -x2239 -x2240 -x2241 -x2243 -x2245 -x2246 -x2247 -x2248 x2250 -x2252 -x2253 -x2254 -x2255 x2257 x2259 -x2260 -x2261 -x2262 -x2264 -x2266 -x2267 -x2268 -x2269 -x2271 -x2273 -x2274 -x2275 -x2276 -x2278 -x2280 -x2281 -x2282 -x2283 -x2285 -x2287 -x2288 -x2289 -x2290 -x2292 -x2294 -x2295 -x2296 -x2297 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 x3519 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3533 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3547 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3573 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3629 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3671 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3811 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3951 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3965 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4021 x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4047 x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 x4061 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4089 x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4131 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4173 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4187 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4229 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4243 x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 x4253 -x4254 -x4255 -x4257 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4271 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 x4299 x4300 -x4301 -x4302 -x4304 -x4305 -x4306 -x4307 -x4309 -x4310 -x4311 -x4312 -x4314 -x4315 -x4316 -x4317 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4329 -x4330 -x4331 -x4332 -x4334 -x4335 -x4336 -x4337 x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4349 -x4350 -x4351 -x4352 -x4354 -x4355 -x4356 -x4357 -x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4374 -x4375 -x4376 -x4377 x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 -x4389 -x4390 -x4391 -x4392 -x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 -x4407 x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 -x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 x4429 -x4430 -x4431 -x4432 -x4434 -x4435 -x4436 -x4437 x4439 -x4440 -x4441 -x4442 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 -x4464 -x4465 -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4474 -x4475 -x4476 -x4477 -x4479 -x4480 -x4481 -x4482 -x4484 -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4494 -x4495 -x4496 -x4497 -x4499 -x4500 -x4501 -x4502 -x4504 -x4505 -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4519 -x4520 -x4521 -x4522 -x4524 -x4525 -x4526 -x4527 -x4529 -x4530 -x4531 -x4532 -x4534 -x4535 -x4536 -x4537 -x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4550 -x4551 -x4552 -x4554 -x4555 -x4556 -x4557 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4585 -x4586 -x4587 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4604 -x4605 -x4606 -x4607 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4629 -x4630 -x4631 -x4632 -x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5092 -x5093 -x5094 -x5095 -x5097 x5099 -x5100 -x5101 -x5102 -x5104 -x5106 -x5107 -x5108 -x5109 -x5111 -x5113 -x5114 -x5115 -x5116 -x5118 x5120 -x5121 -x5122 -x5123 -x5125 -x5127 -x5128 -x5129 -x5130 x5132 -x5134 -x5135 -x5136 -x5137 -x5139 -x5141 -x5142 -x5143 -x5144 -x5146 -x5148 -x5149 -x5150 -x5151 -x5153 -x5155 -x5157 -x5158 -x5159 -x5160 -x5162 x5164 -x5165 -x5166 -x5167 -x5169 -x5171 -x5172 -x5173 -x5174 -x5176 -x5178 -x5179 -x5180 -x5181 -x5183 -x5185 -x5186 -x5187 -x5188 -x5190 -x5192 -x5193 -x5194 -x5195 x5197 -x5199 -x5200 -x5201 -x5202 -x5204 -x5205 -x5206 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5223 -x5224 -x5225 -x5226 -x5228 x5230 -x5231 -x5232 -x5233 -x5235 -x5236 -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 x5252 -x5254 -x5255 -x5256 -x5257 -x5259 -x5261 -x5262 -x5263 -x5264 -x5266 -x5268 -x5269 -x5270 -x5271 x5273 -x5275 -x5276 -x5277 -x5278 x5280 -x5282 -x5283 -x5284 -x5285 -x5287 -x5288 -x5289 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 -x5299 -x5301 -x5302 -x5303 -x5304 -x5306 -x5308 -x5309 -x5310 -x5311 -x5313 -x5315 -x5316 -x5317 -x5318 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5392 -x5393 -x5394 -x5395 x5397 -x5398 -x5399 -x5400 -x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 x5417 -x5418 -x5419 -x5420 -x5422 -x5423 -x5424 -x5425 -x5427 -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5437 -x5438 -x5439 -x5440 -x5442 -x5443 -x5444 -x5445 -x5447 -x5448 -x5449 -x5450 -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 x5479 -x5481 -x5483 -x5485 -x5487 x5489 x5491 -x5493 -x5495 -x5497 -x5499 
1800.08/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.50	c   24   842454 332894  1982362    61519 32235465  42223    468 1800.09
1800.08/1800.50	c Objective: 26
1800.08/1800.50	s SATISFIABLE
1800.08/1800.50	c Total time: 1800.09 s

Verifier Data 

OK	26

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736073-1338708457/watcher-3736073-1338708457 -o /tmp/evaluation-result-3736073-1338708457/solver-3736073-1338708457 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736073-1338708457.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 28391
/proc/meminfo: memFree=27403008/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 336974246 4583424 154 33554432000 134512640 135840783 4289657440 4289656780 9688408 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 1119 155 134 325 0 39 0

[startup+0.0331849 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 28391
/proc/meminfo: memFree=27403008/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=6608 CPUtime=0.02 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 880 0 0 0 2 0 0 0 20 0 1 0 336974246 6766592 816 33554432000 134512640 135840783 4289657440 4289656128 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 1652 816 404 325 0 451 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6608

[startup+0.100262 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 28391
/proc/meminfo: memFree=27403008/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=8264 CPUtime=0.09 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 1519 0 0 0 9 0 0 0 20 0 1 0 336974246 8462336 1318 33554432000 134512640 135840783 4289657440 4289590556 5817392 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 2066 1318 342 325 0 1002 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8264

[startup+0.30023 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 28391
/proc/meminfo: memFree=27403008/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=8996 CPUtime=0.28 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 1905 0 0 0 28 0 0 0 20 0 1 0 336974246 9211904 1520 33554432000 134512640 135840783 4289657440 4289656800 134551079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 2249 1520 349 325 0 1185 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8996

[startup+0.700233 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 28391
/proc/meminfo: memFree=27403008/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=11580 CPUtime=0.69 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 2531 0 0 0 68 1 0 0 20 0 1 0 336974246 11857920 2146 33554432000 134512640 135840783 4289657440 4289654656 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 2895 2146 349 325 0 1831 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11580

[startup+1.50023 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28392
/proc/meminfo: memFree=27392856/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=20532 CPUtime=1.48 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 4797 0 0 0 147 1 0 0 20 0 1 0 336974246 21024768 4412 33554432000 134512640 135840783 4289657440 4289656800 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 5133 4412 349 325 0 4069 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20532

[startup+3.10026 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28392
/proc/meminfo: memFree=27380292/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=36176 CPUtime=3.08 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 8685 0 0 0 306 2 0 0 20 0 1 0 336974246 37044224 8300 33554432000 134512640 135840783 4289657440 4289656736 134572681 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 9044 8300 349 325 0 7980 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 36176

[startup+6.30026 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28392
/proc/meminfo: memFree=27352268/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=60040 CPUtime=6.28 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 14659 0 0 0 625 3 0 0 20 0 1 0 336974246 61480960 14274 33554432000 134512640 135840783 4289657440 4289656800 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 15010 14274 349 325 0 13946 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 60040

[startup+12.7002 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28392
/proc/meminfo: memFree=27336520/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=70516 CPUtime=12.68 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 17283 0 0 0 1264 4 0 0 20 0 1 0 336974246 72208384 16898 33554432000 134512640 135840783 4289657440 4289656800 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 17629 16898 349 325 0 16565 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 70516

[startup+25.5003 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28392
/proc/meminfo: memFree=27326956/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=82444 CPUtime=25.48 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 20245 0 0 0 2543 5 0 0 20 0 1 0 336974246 84422656 19860 33554432000 134512640 135840783 4289657440 4289655440 5817392 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 20611 19860 349 325 0 19547 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 82444

[startup+51.1003 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28393
/proc/meminfo: memFree=27281540/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=125788 CPUtime=51.08 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 31108 0 0 0 5100 8 0 0 20 0 1 0 336974246 128806912 30723 33554432000 134512640 135840783 4289657440 4289656720 10251899 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 31447 30723 349 325 0 30383 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 125788

[startup+102.307 s]
/proc/loadavg: 2.06 2.00 2.00 3/178 28394
/proc/meminfo: memFree=27223900/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=154612 CPUtime=102.28 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 38317 0 0 0 10218 10 0 0 20 0 1 0 336974246 158322688 37932 33554432000 134512640 135840783 4289657440 4289656800 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 38653 37932 349 325 0 37589 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 154612

[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 28397
/proc/meminfo: memFree=26954972/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=199912 CPUtime=162.26 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 49659 0 0 0 16213 13 0 0 20 0 1 0 336974246 204709888 49240 33554432000 134512640 135840783 4289657440 4289656800 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 49978 49240 349 325 0 48914 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 199912

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 28397
/proc/meminfo: memFree=26763056/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=238912 CPUtime=222.26 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 59395 0 0 0 22210 16 0 0 20 0 1 0 336974246 244645888 58976 33554432000 134512640 135840783 4289657440 4289656800 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 59728 58976 349 325 0 58664 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 238912

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 28397
/proc/meminfo: memFree=26655204/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=279464 CPUtime=282.25 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 69533 0 0 0 28206 19 0 0 20 0 1 0 336974246 286171136 69114 33554432000 134512640 135840783 4289657440 4289656736 134571857 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 69866 69114 349 325 0 68802 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 279464

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 28397
/proc/meminfo: memFree=26655240/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=279316 CPUtime=342.24 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 69535 0 0 0 34205 19 0 0 20 0 1 0 336974246 286019584 69109 33554432000 134512640 135840783 4289657440 4289656800 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 69829 69109 349 325 0 68765 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 279316

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28398
/proc/meminfo: memFree=26620788/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=279328 CPUtime=402.23 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 69538 0 0 0 40204 19 0 0 20 0 1 0 336974246 286031872 69112 33554432000 134512640 135840783 4289657440 4289656800 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 69832 69112 349 325 0 68768 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 279328

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28398
/proc/meminfo: memFree=26565636/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=279328 CPUtime=462.22 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 69538 0 0 0 46203 19 0 0 20 0 1 0 336974246 286031872 69112 33554432000 134512640 135840783 4289657440 4289656752 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 69832 69112 349 325 0 68768 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 279328

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28398
/proc/meminfo: memFree=26558676/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=288624 CPUtime=522.2 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 71838 0 0 0 52201 19 0 0 20 0 1 0 336974246 295550976 71419 33554432000 134512640 135840783 4289657440 4289656800 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 72156 71419 349 325 0 71092 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 288624

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28398
/proc/meminfo: memFree=26423108/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=422532 CPUtime=582.16 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 105380 0 0 0 58187 29 0 0 20 0 1 0 336974246 432672768 104913 33554432000 134512640 135840783 4289657440 4289656800 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 105633 104913 349 325 0 104569 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 422532

[startup+642.3 s]

################
# More data... #
################

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28402
/proc/meminfo: memFree=26317236/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527324 CPUtime=882.02 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131909 0 0 0 88166 36 0 0 20 0 1 0 336974246 539979776 131119 33554432000 134512640 135840783 4289657440 4289656800 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131831 131119 349 325 0 130767 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 527324

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28402
/proc/meminfo: memFree=26317360/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527324 CPUtime=942.01 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131909 0 0 0 94165 36 0 0 20 0 1 0 336974246 539979776 131119 33554432000 134512640 135840783 4289657440 4289656800 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131831 131119 349 325 0 130767 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 527324

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28403
/proc/meminfo: memFree=26317112/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527324 CPUtime=1002 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131909 0 0 0 100164 36 0 0 20 0 1 0 336974246 539979776 131119 33554432000 134512640 135840783 4289657440 4289656800 134550921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131831 131119 349 325 0 130767 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 527324

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28403
/proc/meminfo: memFree=26317236/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527324 CPUtime=1061.99 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131909 0 0 0 106163 36 0 0 20 0 1 0 336974246 539979776 131119 33554432000 134512640 135840783 4289657440 4289656768 9211871 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131831 131119 349 325 0 130767 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 527324

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28403
/proc/meminfo: memFree=26317112/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1121.98 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 112162 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656800 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 527340

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28403
/proc/meminfo: memFree=26317112/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1181.97 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 118161 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656800 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 527340

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28403
/proc/meminfo: memFree=26317360/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1241.96 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 124160 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656800 134551324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 527340

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28404
/proc/meminfo: memFree=26317112/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1301.96 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 130160 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656800 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 527340

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28407
/proc/meminfo: memFree=26317352/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1361.94 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 136158 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656752 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 527340

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28407
/proc/meminfo: memFree=26317360/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1421.94 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 142158 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656676 10244116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 527340

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28407
/proc/meminfo: memFree=26317236/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1481.92 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 148156 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656800 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 527340

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28446
/proc/meminfo: memFree=27629396/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1541.92 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 154156 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656800 134550832 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 527340

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28447
/proc/meminfo: memFree=27628032/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1601.91 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 160155 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656800 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 527340

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 28447
/proc/meminfo: memFree=27626172/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1661.9 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 166154 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656800 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 527340

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28447
/proc/meminfo: memFree=27626296/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1721.89 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 172153 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656800 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 527340

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28485
/proc/meminfo: memFree=27513704/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1781.88 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 178152 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656800 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 527340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28485
/proc/meminfo: memFree=27457284/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1800.08 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 179972 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656752 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 527340

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28485
/proc/meminfo: memFree=27457284/32873844 swapFree=7116/7116
[pid=28391] ppid=28389 vsize=527340 CPUtime=1800.08 cores=1,3,5,7
/proc/28391/stat : 28391 (bsolo3.0.17) R 28389 28391 24661 0 -1 4202496 131913 0 0 0 179972 36 0 0 20 0 1 0 336974246 539996160 131123 33554432000 134512640 135840783 4289657440 4289656752 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28391/statm: 131835 131123 349 325 0 130771 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 527340

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.73
CPU system time (s): 0.365944
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 527772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.365944
maximum resident set size= 525016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131916
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= 208
involuntary context switches= 1846

runsolver used 3.10053 second user time and 10.2734 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-03 09:27:37
IDJOB=3736073
IDBENCH=25021
IDSOLVER=2318
FILE ID=node108/3736073-1338708457
RUNJOBID= node108-1338678627-24681
PBS_JOBID= 14636705
Free space on /tmp= 71464 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736073-1338708457/watcher-3736073-1338708457 -o /tmp/evaluation-result-3736073-1338708457/solver-3736073-1338708457 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3736073-1338708457.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=545573847

node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27403536 kB
Buffers:          324768 kB
Cached:          3558180 kB
SwapCached:          112 kB
Active:          2674152 kB
Inactive:        1991412 kB
Active(anon):     769672 kB
Inactive(anon):    13084 kB
Active(file):    1904480 kB
Inactive(file):  1978328 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              7028 kB
Writeback:             0 kB
AnonPages:        792684 kB
Mapped:            15648 kB
Shmem:               172 kB
Slab:             663780 kB
SReclaimable:     105952 kB
SUnreclaim:       557828 kB
KernelStack:        1456 kB
PageTables:         5556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     894216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    481280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71460 MiB
End job on node108 at 2012-06-03 09:57:39