Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 | SAT (TO) | 1117715 | 2400.08 | 2364.84 |
Name | Auction/Auction-sum/ Auction-sum-decay300_c18.xml |
MD5SUM | 125d0999a88baf20181d93552da446ae |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 2106819 |
Best CPU time to get the best result obtained on this benchmark | 2400.05 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 300 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2000}] |
Minimum variable degree | 2 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}] |
Minimum constraint arity | 17 |
Maximum constraint arity | 46 |
Distribution of constraint arities | [{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":300}] |
Optimization problem | YES |
Type of objective | max SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394322-1568348513.xml" -tl '2400s' -p 4 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4394322-1568348513.xml, -tl, 2400s, -p, 4] 0.34/0.24 c 4 solvers in parallel 0.34/0.31 c parse instance... 2.07/0.89 c solve instance... 2.79/1.07 o 0 2.79/1.07 o 2394 2.79/1.09 o 6074 2.79/1.10 o 8468 3.19/1.12 o 9476 3.19/1.12 o 10065 3.19/1.12 o 13745 3.19/1.12 o 16139 3.19/1.13 o 17147 3.19/1.14 o 20308 3.19/1.14 o 22702 3.19/1.14 o 23710 3.19/1.15 o 24627 3.19/1.15 o 27725 3.19/1.15 o 30119 3.19/1.16 o 31127 3.19/1.16 o 31716 3.19/1.17 o 35396 3.19/1.17 o 37790 3.19/1.17 o 38798 3.19/1.18 o 39715 3.19/1.18 o 40228 3.19/1.18 o 41236 3.19/1.18 o 42153 3.19/1.18 o 42473 3.19/1.18 o 44568 3.19/1.18 o 45576 3.19/1.19 o 46493 3.19/1.19 o 49591 3.45/1.20 o 51985 3.45/1.20 o 52993 3.45/1.20 o 53582 3.45/1.21 o 57262 3.45/1.21 o 59656 3.45/1.21 o 60664 3.45/1.22 o 61581 3.45/1.24 o 62094 3.45/1.24 o 63102 3.45/1.24 o 64019 3.45/1.24 o 64339 3.45/1.24 o 66625 3.45/1.24 o 67633 3.45/1.24 o 68550 3.45/1.24 o 68870 3.45/1.25 o 72996 3.45/1.25 o 74004 3.45/1.25 o 74921 3.45/1.25 o 75241 3.45/1.26 o 75672 3.45/1.26 o 76680 3.45/1.26 o 77597 3.45/1.27 o 77917 3.45/1.27 o 79687 3.45/1.27 o 80695 3.45/1.27 o 81612 3.45/1.27 o 82125 3.45/1.27 o 83133 3.45/1.27 o 84050 3.45/1.28 o 84370 3.45/1.28 o 86058 3.45/1.29 o 87066 3.45/1.29 o 87983 3.45/1.29 o 88303 3.45/1.30 o 88574 3.75/1.30 o 90968 3.75/1.30 o 91976 3.75/1.30 o 92893 3.75/1.30 o 93213 3.75/1.30 o 94589 3.75/1.31 o 95597 3.75/1.31 o 96514 3.75/1.32 o 96834 3.75/1.32 o 100960 3.75/1.32 o 101968 3.75/1.32 o 102885 3.75/1.32 o 103205 3.75/1.32 o 103636 3.75/1.33 o 104644 3.75/1.33 o 105561 3.75/1.33 o 105881 3.75/1.33 o 106878 3.75/1.33 o 107795 3.75/1.33 o 108115 3.75/1.33 o 108546 3.75/1.33 o 109554 3.75/1.33 o 110471 3.75/1.33 o 110791 3.75/1.33 o 111504 3.75/1.34 o 112512 3.75/1.34 o 113429 3.75/1.34 o 113749 3.75/1.34 o 115125 3.75/1.35 o 116133 3.75/1.35 o 117050 3.75/1.35 o 117370 3.75/1.40 o 121496 4.04/1.40 o 122504 4.04/1.40 o 123421 4.04/1.40 o 123741 4.04/1.41 o 124172 4.04/1.41 o 125180 4.04/1.42 o 126097 4.04/1.42 o 126417 4.04/1.42 o 127414 4.04/1.42 o 128331 4.04/1.42 o 128651 4.04/1.42 o 129082 4.04/1.42 o 130090 4.04/1.43 o 131007 4.04/1.44 o 131327 4.04/1.44 o 132004 4.04/1.44 o 132921 4.04/1.44 o 133241 4.04/1.45 o 133672 4.04/1.45 o 134680 4.04/1.45 o 135597 4.04/1.45 o 135917 4.04/1.45 o 136914 4.04/1.45 o 137831 4.04/1.45 o 138151 4.04/1.45 o 138582 4.04/1.45 o 139590 4.04/1.46 o 140507 4.04/1.46 o 140827 4.04/1.46 o 143026 4.04/1.46 o 144034 4.04/1.47 o 144951 4.04/1.47 o 145702 4.04/1.48 o 146710 4.04/1.48 o 147627 4.04/1.48 o 147936 4.04/1.48 o 148944 4.04/1.49 o 149861 4.04/1.49 o 150612 4.04/1.49 o 151620 4.04/1.49 o 152537 4.04/1.49 o 153534 4.04/1.50 o 154451 4.35/1.50 o 155202 4.35/1.50 o 156210 4.35/1.50 o 157127 4.35/1.50 o 157436 4.35/1.51 o 158444 4.35/1.51 o 159361 4.35/1.51 o 160112 4.35/1.53 o 161120 4.35/1.54 o 162037 4.35/1.54 o 162299 4.35/1.54 o 163216 4.35/1.54 o 163553 4.35/1.54 o 164470 4.35/1.54 o 164779 4.35/1.54 o 165787 4.35/1.54 o 166704 4.35/1.54 o 167455 4.35/1.55 o 168463 4.35/1.55 o 169380 4.35/1.55 o 169635 4.35/1.55 o 171834 4.35/1.55 o 172842 4.35/1.55 o 173759 4.35/1.55 o 174510 4.35/1.55 o 175518 4.35/1.55 o 176435 4.35/1.55 o 176744 4.35/1.55 o 177752 4.35/1.56 o 178669 4.35/1.56 o 179420 4.35/1.56 o 180428 4.35/1.56 o 181345 4.35/1.56 o 182342 4.35/1.56 o 183259 4.35/1.57 o 184010 4.35/1.57 o 185018 4.35/1.57 o 185935 4.35/1.57 o 186244 4.35/1.57 o 187252 4.35/1.57 o 188169 4.35/1.57 o 188920 4.35/1.57 o 189928 4.35/1.58 o 190845 4.35/1.58 o 191107 4.35/1.58 o 192024 4.35/1.58 o 192361 4.35/1.58 o 193278 4.35/1.58 o 193587 4.35/1.58 o 194595 4.35/1.58 o 195512 4.35/1.59 o 196263 4.35/1.59 o 197271 4.35/1.59 o 198188 4.35/1.59 o 198403 4.35/1.59 o 199320 4.35/1.59 o 200071 4.35/1.59 o 201079 4.35/1.59 o 201996 4.35/1.60 o 202707 4.35/1.60 o 203016 4.64/1.60 o 204024 4.64/1.60 o 204941 4.64/1.60 o 205692 4.64/1.60 o 206700 4.64/1.60 o 207617 4.64/1.60 o 207832 4.64/1.60 o 208749 4.64/1.60 o 209500 4.64/1.62 o 210508 4.64/1.62 o 211425 4.64/1.62 o 211647 4.64/1.62 o 212564 4.64/1.62 o 213561 4.64/1.62 o 214478 4.64/1.62 o 215229 4.64/1.62 o 216237 4.64/1.62 o 217154 4.64/1.63 o 217463 4.64/1.63 o 218471 4.64/1.63 o 219388 4.64/1.64 o 220139 4.64/1.64 o 221147 4.64/1.64 o 222064 4.64/1.64 o 222279 4.64/1.64 o 223196 4.64/1.64 o 223947 4.64/1.64 o 224955 4.64/1.64 o 225872 4.64/1.65 o 226583 4.64/1.65 o 226892 4.64/1.65 o 227900 4.64/1.65 o 228817 4.64/1.65 o 229568 4.64/1.65 o 230576 4.64/1.65 o 231493 4.64/1.65 o 231708 4.64/1.66 o 232625 4.64/1.66 o 233376 4.64/1.66 o 234384 4.64/1.66 o 235301 4.64/1.66 o 235410 4.64/1.67 o 236327 4.64/1.67 o 237078 4.64/1.67 o 238086 4.64/1.68 o 239003 4.64/1.69 o 239218 4.64/1.69 o 240135 4.64/1.69 o 240886 4.64/1.69 o 241894 4.64/1.69 o 242811 4.64/1.69 o 243522 4.64/1.70 o 243831 4.92/1.70 o 244839 4.92/1.70 o 245756 4.92/1.70 o 246507 4.92/1.70 o 247515 4.92/1.71 o 248432 4.92/1.71 o 248647 4.92/1.72 o 249564 4.92/1.72 o 250315 4.92/1.73 o 251323 4.92/1.73 o 252240 4.92/1.73 o 252542 4.92/1.73 o 253550 4.92/1.73 o 254467 4.92/1.73 o 255178 4.92/1.73 o 255487 4.92/1.73 o 256495 4.92/1.73 o 257412 4.92/1.74 o 258163 4.92/1.74 o 259171 4.92/1.74 o 260088 4.92/1.74 o 260303 4.92/1.74 o 261220 4.92/1.74 o 261971 4.92/1.74 o 262979 4.92/1.74 o 263896 4.92/1.74 o 264305 4.92/1.74 o 265056 4.92/1.74 o 266064 4.92/1.74 o 266981 4.92/1.75 o 267196 4.92/1.75 o 268113 4.92/1.75 o 268864 4.92/1.75 o 269872 4.92/1.75 o 270789 4.92/1.76 o 271460 4.92/1.76 o 272377 4.92/1.76 o 273088 4.92/1.76 o 273397 4.92/1.76 o 274405 4.92/1.76 o 275322 4.92/1.76 o 276073 4.92/1.76 o 277081 4.92/1.77 o 277998 4.92/1.77 o 278213 4.92/1.77 o 279130 4.92/1.77 o 279881 4.92/1.77 o 280889 4.92/1.77 o 281806 4.92/1.78 o 282215 4.92/1.78 o 282966 4.92/1.78 o 283974 4.92/1.78 o 284891 4.92/1.78 o 285106 4.92/1.78 o 286023 4.92/1.78 o 286774 4.92/1.79 o 287782 4.92/1.79 o 288699 4.92/1.79 o 288774 4.92/1.79 o 289525 4.92/1.80 o 290533 4.92/1.80 o 291450 5.23/1.81 o 291644 5.23/1.81 o 291953 5.23/1.81 o 292961 5.23/1.81 o 293878 5.23/1.81 o 294629 5.23/1.81 o 295637 5.23/1.81 o 296554 5.23/1.81 o 296769 5.23/1.81 o 297686 5.23/1.81 o 298437 5.23/1.81 o 299445 5.23/1.82 o 300362 5.23/1.82 o 300771 5.23/1.82 o 301522 5.23/1.83 o 302530 5.23/1.83 o 303447 5.23/1.83 o 303662 5.23/1.83 o 304579 5.23/1.83 o 305330 5.23/1.83 o 306338 5.23/1.84 o 307255 5.23/1.88 o 307482 5.23/1.89 o 308490 5.23/1.89 o 309407 5.23/1.89 o 309622 5.23/1.89 o 310539 5.23/1.89 o 311290 5.23/1.89 o 312298 5.23/1.90 o 313215 5.54/1.90 o 313581 5.54/1.94 o 314454 5.54/1.94 o 315371 5.54/1.96 o 315598 5.54/1.96 o 316606 5.54/1.96 o 317523 5.54/1.97 o 317738 5.54/1.97 o 318655 5.54/1.97 o 319406 5.54/1.98 o 320414 5.54/1.98 o 321331 5.54/2.00 o 322175 5.92/2.02 o 322324 5.92/2.02 o 322551 5.92/2.03 o 323559 5.92/2.03 o 324476 5.92/2.04 o 324691 5.92/2.04 o 325608 5.92/2.04 o 326359 5.92/2.04 o 327367 5.92/2.04 o 328284 5.92/2.06 o 328515 5.92/2.06 o 329523 5.92/2.06 o 330440 5.92/2.07 o 330667 5.92/2.07 o 331675 5.92/2.07 o 332592 5.92/2.07 o 332807 5.92/2.07 o 333724 5.92/2.07 o 334475 5.92/2.07 o 335483 5.92/2.07 o 336400 6.31/2.15 o 336479 6.31/2.15 o 337487 6.31/2.15 o 338404 6.31/2.16 o 338631 6.31/2.16 o 339639 6.31/2.16 o 340556 6.31/2.16 o 340771 6.31/2.17 o 341688 6.31/2.17 o 342439 6.31/2.17 o 343447 6.31/2.18 o 344364 6.65/2.23 o 358902 6.65/2.26 o 359819 7.03/2.31 o 360816 7.03/2.36 o 361733 7.40/2.40 o 363492 7.40/2.48 o 375021 7.80/2.52 o 404406 7.80/2.54 o 422062 8.20/2.63 o 424422 8.20/2.66 o 428325 8.20/2.68 o 433535 8.58/2.74 o 435491 8.58/2.76 o 437302 8.58/2.79 o 449374 8.94/2.81 o 449713 8.94/2.82 o 458914 8.94/2.84 o 459653 8.94/2.86 o 467358 8.94/2.88 o 468097 8.94/2.89 o 470616 9.35/2.94 o 471717 9.35/2.95 o 480179 9.35/2.97 o 481643 9.35/2.99 o 482455 9.35/3.02 o 497590 9.77/3.03 o 512041 9.77/3.05 o 527176 9.77/3.07 o 529496 9.77/3.08 o 532947 9.77/3.10 o 535267 10.13/3.14 o 536286 10.13/3.17 o 539567 10.45/3.22 o 542906 10.45/3.29 o 549451 10.85/3.34 o 551771 11.23/3.41 o 552300 11.23/3.48 o 552973 11.64/3.53 o 566870 11.64/3.57 o 573368 12.01/3.63 o 577569 12.01/3.68 o 593458 12.40/3.71 o 594002 12.40/3.77 o 594748 12.80/3.82 o 599982 12.80/3.86 o 607148 13.14/3.93 o 612382 13.14/3.97 o 616518 13.60/4.03 o 617507 13.60/4.04 o 621643 13.60/4.07 o 623792 13.60/4.10 o 626478 14.31/4.20 o 626587 14.31/4.23 o 629563 14.31/4.24 o 631712 14.70/4.31 o 633782 14.70/4.33 o 637373 14.70/4.35 o 647133 14.70/4.37 o 651049 14.70/4.39 o 657318 15.06/4.41 o 660860 15.06/4.43 o 662528 15.06/4.45 o 687721 15.06/4.47 o 692322 15.06/4.50 o 693990 15.42/4.52 o 694706 15.42/4.54 o 698591 15.42/4.56 o 702164 15.42/4.58 o 708433 15.80/4.65 o 714136 15.80/4.68 o 718737 16.17/4.70 o 720548 16.17/4.72 o 720680 16.17/4.74 o 726949 16.17/4.77 o 726953 16.17/4.79 o 730468 16.54/4.81 o 732275 16.54/4.83 o 732279 16.92/4.90 o 732811 16.92/4.97 o 733270 16.92/4.99 o 736839 17.35/5.03 o 738944 17.35/5.05 o 744154 17.35/5.08 o 745822 17.35/5.10 o 745826 17.71/5.12 o 747633 17.71/5.15 o 752234 17.71/5.18 o 752238 18.04/5.26 o 755180 18.04/5.29 o 758695 18.41/5.31 o 759766 18.41/5.34 o 760502 18.41/5.36 o 761577 18.41/5.39 o 761581 18.78/5.42 o 765092 18.78/5.48 o 769330 19.14/5.54 o 769334 19.97/5.71 o 769919 19.97/5.79 o 773719 20.34/5.87 o 773730 20.34/5.90 o 777245 20.72/5.92 o 779056 21.14/6.01 o 779142 21.14/6.09 o 779352 21.54/6.13 o 782057 21.54/6.15 o 787597 21.54/6.18 o 792198 21.88/6.21 o 797408 21.88/6.24 o 799219 21.88/6.26 o 802649 21.88/6.29 o 804460 22.24/6.32 o 805519 22.24/6.35 o 810120 22.24/6.37 o 810124 22.63/6.40 o 810729 22.63/6.43 o 815330 22.63/6.45 o 815334 22.63/6.48 o 816059 23.04/6.51 o 818845 23.04/6.53 o 820656 23.04/6.56 o 835791 23.04/6.59 o 840091 23.42/6.63 o 843316 23.42/6.65 o 845737 23.42/6.69 o 860588 23.78/6.72 o 868240 23.78/6.75 o 868745 24.16/6.84 o 870603 24.55/6.93 o 895558 24.97/7.04 o 897633 25.37/7.14 o 898654 25.72/7.22 o 899767 25.72/7.25 o 900272 26.15/7.35 o 901396 26.51/7.43 o 903164 26.91/7.50 o 905602 26.91/7.59 o 906206 27.30/7.62 o 906711 27.68/7.70 o 906750 27.68/7.73 o 907255 27.68/7.78 o 941275 28.07/7.81 o 942431 28.85/8.27 o 947020 29.36/8.40 o 949823 29.36/8.48 o 950329 29.74/8.51 o 950834 29.74/8.59 o 952226 30.15/8.67 o 952970 30.52/8.76 o 956287 30.52/8.76 o 956589 30.52/8.78 o 967890 30.81/8.80 o 968877 30.81/8.80 o 973311 30.81/8.81 o 981652 95.75/73.53 o 982350 104.89/82.46 o 985026 114.15/91.42 o 986302 132.58/109.55 o 992200 141.92/118.69 o 992516 151.37/127.90 o 994887 170.48/146.66 o 995539 208.59/184.49 o 997319 287.25/262.87 o 1000372 297.46/272.90 o 1000877 307.83/283.01 o 1000878 328.47/303.40 o 1007147 339.01/313.77 o 1007893 349.55/324.09 o 1010644 370.65/344.92 o 1010841 413.18/387.25 o 1012058 424.14/397.98 o 1012157 435.16/408.75 o 1012812 457.10/430.48 o 1013330 468.31/441.42 o 1015724 479.63/452.50 o 1015977 502.18/474.86 o 1016518 546.68/519.03 o 1017508 637.94/610.03 o 1021295 830.92/802.73 o 1023290 843.68/815.23 o 1025990 856.28/827.79 o 1030514 881.81/853.07 o 1032373 894.79/865.91 o 1032878 907.84/878.79 o 1033119 934.10/904.75 o 1033624 986.48/956.88 o 1037026 999.92/970.04 o 1039087 1013.34/983.25 o 1051751 1040.18/1009.85 o 1052467 1053.79/1023.23 o 1053385 1067.66/1036.82 o 1054307 1094.93/1063.87 o 1056166 1150.00/1118.66 o 1057058 1262.59/1230.90 o 1057668 1277.05/1245.16 o 1062076 1291.82/1259.62 o 1065102 1320.87/1288.46 o 1066655 1335.62/1302.95 o 1067024 1350.45/1317.50 o 1067894 1379.93/1346.76 o 1068282 1439.27/1405.99 o 1071412 1454.34/1420.92 o 1074500 1469.34/1435.90 o 1084342 1499.64/1466.05 o 1092213 1514.93/1481.20 o 1095385 1530.22/1496.40 o 1098943 1560.85/1526.99 o 1106579 1622.89/1588.85 o 1115780 1750.69/1716.36 o 1116446 2014.41/1979.63 o 1117715 2400.02/2364.80 s SATISFIABLE 2400.02/2364.80 v <instantiation> 2400.02/2364.80 v <list>b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] </list> 2400.02/2364.80 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 </values> 2400.02/2364.80 v </instantiation> 2400.02/2364.80 c Unexpected resolution interruption!
OK 1117715
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (13551 MiB free) memory of node 1: 16384 MiB (12253 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394322-1568348513/watcher-4394322-1568348513 -o /tmp/evaluation-result-4394322-1568348513/solver-4394322-1568348513 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17631 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1948729526 HOME/instance-4394322-1568348513.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=20121, runsolver pid=20118 Current StackSize limit: 8192 KiB [startup+0.100058 s]* /proc/loadavg: 8.38 8.06 7.02 7/234 20137 /proc/meminfo: memFree=26408600/32770688 swapFree=66919992/67108860 [pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0 /proc/20121/statm: 28282 362 304 221 0 87 0 [pid=20123] ppid=20121 vsize=15144768 memory=28744 CPUtime=0.12 cores=0-3 /proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 5626 0 0 0 11 1 0 0 20 0 15 0 410857674 15508242432 7186 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 /proc/20123/statm: 3786192 7186 3121 1 0 3748377 0 [pid=20123/tid=20124] ppid=20121 vsize=15144768 memory=8108032331684915787 CPUtime=0.09 cores=0-3 /proc/20123/task/20124/stat : 20124 (java) R 20121 20121 17600 0 -1 4202560 3547 0 0 0 8 1 0 0 20 0 15 0 410857674 15508242432 7186 33554432000 4194304 4196468 140726428730736 140585268020096 140585263799702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20125] ppid=20121 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0-3 /proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 7186 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20126] ppid=20121 vsize=15144768 memory=139935595005568 CPUtime=0 cores=0-3 /proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20127] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20128] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20129] ppid=20121 vsize=15144768 memory=139935595005568 CPUtime=0 cores=0-3 /proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857677 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20130] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410857677 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584136303520 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20131] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410857677 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584135250928 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20132] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20133] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/20123/task/20133/stat : 20133 (java) S 20121 20121 17600 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 410857680 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584133147120 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20134] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/20123/task/20134/stat : 20134 (java) S 20121 20121 17600 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 410857680 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584132094576 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20135] ppid=20121 vsize=15144768 memory=139935595005568 CPUtime=0.01 cores=0-3 /proc/20123/task/20135/stat : 20135 (java) R 20121 20121 17600 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 15 0 410857680 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584131042032 140585242616209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20136] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20137] ppid=20121 vsize=15144768 memory=139935595005568 CPUtime=0 cores=0-3 /proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857681 15508242432 7186 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 15257896 KiB Current children cumulated memory: 30192 KiB [startup+0.211649 s]* /proc/loadavg: 8.38 8.06 7.02 7/234 20137 /proc/meminfo: memFree=26394856/32770688 swapFree=66919992/67108860 [pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0 /proc/20121/statm: 28282 362 304 221 0 87 0 [pid=20123] ppid=20121 vsize=15144768 memory=40844 CPUtime=0.34 cores=0-3 /proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 9426 0 0 0 31 3 0 0 20 0 15 0 410857674 15508242432 10211 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 /proc/20123/statm: 3786192 10211 3308 1 0 3748377 0 [pid=20123/tid=20124] ppid=20121 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0-3 /proc/20123/task/20124/stat : 20124 (java) R 20121 20121 17600 0 -1 4202560 6546 0 0 0 18 2 0 0 20 0 15 0 410857674 15508242432 10211 33554432000 4194304 4196468 140726428730736 140585268020608 140584899652890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20125] ppid=20121 vsize=15144768 memory=1915596 CPUtime=0 cores=0-3 /proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 10211 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20126] ppid=20121 vsize=15144768 memory=3905383373152093856 CPUtime=0 cores=0-3 /proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20127] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20128] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20129] ppid=20121 vsize=15144768 memory=139935595005568 CPUtime=0 cores=0-3 /proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857677 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20130] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410857677 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584136303520 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20131] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410857677 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584135250928 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20132] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20133] ppid=20121 vsize=15144768 memory=0 CPUtime=0.02 cores=0-3 /proc/20123/task/20133/stat : 20133 (java) R 20121 20121 17600 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 15 0 410857680 15508242432 10211 33554432000 4194304 4196468 140726428730736 140584133147120 140585263798914 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20134] ppid=20121 vsize=15144768 memory=-1 CPUtime=0.02 cores=0-3 /proc/20123/task/20134/stat : 20134 (java) S 20121 20121 17600 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 15 0 410857680 15508242432 10276 33554432000 4194304 4196468 140726428730736 140584132094576 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20135] ppid=20121 vsize=15144768 memory=139935595005568 CPUtime=0.07 cores=0-3 /proc/20123/task/20135/stat : 20135 (java) R 20121 20121 17600 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 15 0 410857680 15508242432 10276 33554432000 4194304 4196468 140726428730736 140584131037792 140585256024894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20136] ppid=20121 vsize=15144768 memory=-1 CPUtime=0 cores=0-3 /proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15508242432 10276 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20137] ppid=20121 vsize=15144768 memory=0 CPUtime=0 cores=0-3 /proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857681 15508242432 10276 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 15257896 KiB Current children cumulated memory: 42292 KiB [startup+0.311544 s]* /proc/loadavg: 8.38 8.06 7.02 6/234 20137 /proc/meminfo: memFree=26390016/32770688 swapFree=66919992/67108860 [pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0 /proc/20121/statm: 28282 362 304 221 0 87 0 [pid=20123] ppid=20121 vsize=15149024 memory=46740 CPUtime=0.53 cores=0-3 /proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 10558 0 0 0 49 4 0 0 20 0 15 0 410857674 15512600576 11685 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 /proc/20123/statm: 3787256 11685 3330 1 0 3748377 0 [pid=20123/tid=20124] ppid=20121 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=0-3 /proc/20123/task/20124/stat : 20124 (java) R 20121 20121 17600 0 -1 4202560 7538 0 0 0 27 3 0 0 20 0 15 0 410857674 15512600576 11685 33554432000 4194304 4196468 140726428730736 140585268009280 140585263809693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20125] ppid=20121 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=0-3 /proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15512600576 11685 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20126] ppid=20121 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0-3 /proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20127] ppid=20121 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0-3 /proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20128] ppid=20121 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0-3 /proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20129] ppid=20121 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0-3 /proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410857677 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20130] ppid=20121 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0-3 /proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410857677 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584136303520 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20131] ppid=20121 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0-3 /proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410857677 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584135250928 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20132] ppid=20121 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0-3 /proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20133] ppid=20121 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0-3 /proc/20123/task/20133/stat : 20133 (java) S 20121 20121 17600 0 -1 1077944384 651 0 0 0 4 0 0 0 20 0 15 0 410857680 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584133147120 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20134] ppid=20121 vsize=15149024 memory=0 CPUtime=0.04 cores=0-3 /proc/20123/task/20134/stat : 20134 (java) S 20121 20121 17600 0 -1 1077944384 235 0 0 0 4 0 0 0 20 0 15 0 410857680 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584132094576 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20135] ppid=20121 vsize=15149024 memory=0 CPUtime=0.12 cores=0-3 /proc/20123/task/20135/stat : 20135 (java) S 20121 20121 17600 0 -1 1077944384 830 0 0 0 12 0 0 0 20 0 15 0 410857680 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584131042032 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20136] ppid=20121 vsize=15149024 memory=0 CPUtime=0 cores=0-3 /proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20137] ppid=20121 vsize=15149024 memory=0 CPUtime=0 cores=0-3 /proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857681 15512600576 11685 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 15262152 KiB Current children cumulated memory: 48188 KiB [startup+0.700771 s] /proc/loadavg: 8.38 8.06 7.02 9/234 20137 /proc/meminfo: memFree=26368464/32770688 swapFree=66919992/67108860 [pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0 /proc/20121/statm: 28282 362 304 221 0 87 0 [pid=20123] ppid=20121 vsize=15151148 memory=96172 CPUtime=1.7 cores=0-3 /proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 16265 0 0 0 164 6 0 0 20 0 15 0 410857674 15514775552 24043 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 /proc/20123/statm: 3787787 24043 3448 1 0 3748889 0 [pid=20123/tid=20124] ppid=20121 vsize=15151148 memory=0 CPUtime=0.68 cores=0-3 /proc/20123/task/20124/stat : 20124 (java) R 20121 20121 17600 0 -1 4202560 9208 0 0 0 64 4 0 0 20 0 15 0 410857674 15514775552 24043 33554432000 4194304 4196468 140726428730736 140585268018192 140585247868254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20125] ppid=20121 vsize=15151148 memory=45224 CPUtime=0 cores=0-3 /proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15514775552 24043 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20126] ppid=20121 vsize=15151148 memory=984 CPUtime=0 cores=0-3 /proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20127] ppid=20121 vsize=15151148 memory=2020 CPUtime=0 cores=0-3 /proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857675 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20128] ppid=20121 vsize=15151148 memory=1432 CPUtime=0 cores=0-3 /proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410857675 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20129] ppid=20121 vsize=15151148 memory=776 CPUtime=0 cores=0-3 /proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 410857677 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20130] ppid=20121 vsize=15151148 memory=660 CPUtime=0 cores=0-3 /proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410857677 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584136303520 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20131] ppid=20121 vsize=15151148 memory=1556 CPUtime=0 cores=0-3 /proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410857677 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584135250928 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20132] ppid=20121 vsize=15151148 memory=9588 CPUtime=0 cores=0-3 /proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20133] ppid=20121 vsize=15151148 memory=1712 CPUtime=0.31 cores=0-3 /proc/20123/task/20133/stat : 20133 (java) R 20121 20121 17600 0 -1 4202560 1728 0 0 0 31 0 0 0 20 0 15 0 410857680 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584133138096 140585248911349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20134] ppid=20121 vsize=15151148 memory=5972 CPUtime=0.3 cores=0-3 /proc/20123/task/20134/stat : 20134 (java) R 20121 20121 17600 0 -1 4202560 1855 0 0 0 30 0 0 0 20 0 15 0 410857680 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584132080456 140585248902882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20135] ppid=20121 vsize=15151148 memory=4164 CPUtime=0.37 cores=0-3 /proc/20123/task/20135/stat : 20135 (java) R 20121 20121 17600 0 -1 1077944384 2166 0 0 0 37 0 0 0 20 0 15 0 410857680 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584131042032 140585263798914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20136] ppid=20121 vsize=15151148 memory=1056 CPUtime=0 cores=0-3 /proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410857680 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20137] ppid=20121 vsize=15151148 memory=2828 CPUtime=0 cores=0-3 /proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410857681 15514775552 24043 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 Current children cumulated CPU time: 1.7 s Current children cumulated vsize: 15264276 KiB Current children cumulated memory: 97620 KiB [startup+1.50081 s] /proc/loadavg: 8.38 8.06 7.02 10/238 20141 /proc/meminfo: memFree=26261692/32770688 swapFree=66919992/67108860 [pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0 /proc/20121/statm: 28282 362 304 221 0 87 0 ################ # More data... # ################ /proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 173935 0 0 0 229581 166 0 0 20 0 19 0 410857674 16063217664 918302 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 /proc/20123/statm: 3921684 918302 3522 1 0 3882786 0 [pid=20123/tid=20124] ppid=20121 vsize=15686736 memory=3673208 CPUtime=1.21 cores=0-3 /proc/20123/task/20124/stat : 20124 (java) S 20121 20121 17600 0 -1 1077944384 27856 0 0 0 112 9 0 0 20 0 19 0 410857674 16063217664 918302 33554432000 4194304 4196468 140726428730736 140585268028480 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20125] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3 /proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 151 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20126] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3 /proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 99 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20127] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3 /proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 144 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20128] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3 /proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 435 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20129] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.14 cores=0-3 /proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 5434 0 0 0 7 7 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20130] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3 /proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584136303648 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20131] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3 /proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584135250944 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20132] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3 /proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20133] ppid=20121 vsize=15686736 memory=1448 CPUtime=3.79 cores=0-3 /proc/20123/task/20133/stat : 20133 (java) S 20121 20121 17600 0 -1 1077944384 11907 0 0 0 378 1 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584133147120 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20134] ppid=20121 vsize=15686736 memory=1448 CPUtime=3.85 cores=0-3 /proc/20123/task/20134/stat : 20134 (java) S 20121 20121 17600 0 -1 1077944384 13003 0 0 0 384 1 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584132094576 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20135] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.96 cores=0-3 /proc/20123/task/20135/stat : 20135 (java) S 20121 20121 17600 0 -1 1077944384 8294 0 0 0 94 2 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584131042032 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20136] ppid=20121 vsize=15686736 memory=1448 CPUtime=0 cores=0-3 /proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20137] ppid=20121 vsize=15686736 memory=3673208 CPUtime=1.24 cores=0-3 /proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 11342 0 0 0 67 57 0 0 20 0 19 0 410857681 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=27096] ppid=20121 vsize=15686736 memory=6791534058613427641 CPUtime=0.07 cores=0-3 /proc/20123/task/27096/stat : 27096 (java) S 20121 20121 17600 0 -1 1077944384 129 0 0 0 7 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584116809312 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=27097] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.08 cores=0-3 /proc/20123/task/27097/stat : 27097 (java) S 20121 20121 17600 0 -1 1077944384 173 0 0 0 8 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584111547344 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=27098] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.08 cores=0-3 /proc/20123/task/27098/stat : 27098 (java) S 20121 20121 17600 0 -1 1077944384 211 0 0 0 8 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584113652816 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=27099] ppid=20121 vsize=15686736 memory=3673208 CPUtime=282.61 cores=0-3 /proc/20123/task/27099/stat : 27099 (java) R 20121 20121 17600 0 -1 4202560 985 0 0 0 28261 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584115760200 140584901230024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 Current children cumulated CPU time: 2297.47 s Current children cumulated vsize: 15799864 KiB Current children cumulated memory: 3674656 KiB [startup+2322.3 s] /proc/loadavg: 2.35 2.37 3.58 3/237 27201 /proc/meminfo: memFree=16687076/32770688 swapFree=66919992/67108860 [pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0 /proc/20121/statm: 28282 362 304 221 0 87 0 [pid=20123] ppid=20121 vsize=15686736 memory=3673208 CPUtime=2357.5 cores=0-3 /proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 174097 0 0 0 235583 167 0 0 20 0 19 0 410857674 16063217664 918302 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 /proc/20123/statm: 3921684 918302 3522 1 0 3882786 0 [pid=20123/tid=20124] ppid=20121 vsize=15686736 memory=3673208 CPUtime=1.21 cores=0-3 /proc/20123/task/20124/stat : 20124 (java) S 20121 20121 17600 0 -1 1077944384 27856 0 0 0 112 9 0 0 20 0 19 0 410857674 16063217664 918302 33554432000 4194304 4196468 140726428730736 140585268028480 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20125] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.09 cores=0-3 /proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 151 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20126] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.09 cores=0-3 /proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 99 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20127] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3 /proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 144 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20128] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3 /proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 435 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20129] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.14 cores=0-3 /proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 5444 0 0 0 7 7 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20130] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3 /proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584136303648 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20131] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3 /proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584135250944 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20132] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3 /proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20133] ppid=20121 vsize=15686736 memory=3673208 CPUtime=3.79 cores=0-3 /proc/20123/task/20133/stat : 20133 (java) S 20121 20121 17600 0 -1 1077944384 11910 0 0 0 378 1 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584133147120 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20134] ppid=20121 vsize=15686736 memory=1448 CPUtime=3.85 cores=0-3 /proc/20123/task/20134/stat : 20134 (java) S 20121 20121 17600 0 -1 1077944384 13016 0 0 0 384 1 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584132094576 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20135] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.96 cores=0-3 /proc/20123/task/20135/stat : 20135 (java) S 20121 20121 17600 0 -1 1077944384 8298 0 0 0 94 2 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584131042032 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20136] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0 cores=0-3 /proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20137] ppid=20121 vsize=15686736 memory=3673208 CPUtime=1.27 cores=0-3 /proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 11382 0 0 0 70 57 0 0 20 0 19 0 410857681 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=27096] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.07 cores=0-3 /proc/20123/task/27096/stat : 27096 (java) S 20121 20121 17600 0 -1 1077944384 129 0 0 0 7 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584116809312 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=27097] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.08 cores=0-3 /proc/20123/task/27097/stat : 27097 (java) S 20121 20121 17600 0 -1 1077944384 173 0 0 0 8 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584111547344 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=27098] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.08 cores=0-3 /proc/20123/task/27098/stat : 27098 (java) S 20121 20121 17600 0 -1 1077944384 211 0 0 0 8 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584113652816 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=27099] ppid=20121 vsize=15686736 memory=3673208 CPUtime=342.6 cores=0-3 /proc/20123/task/27099/stat : 27099 (java) R 20121 20121 17600 0 -1 4202560 1077 0 0 0 34260 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584115760200 140584901230349 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 Current children cumulated CPU time: 2357.5 s Current children cumulated vsize: 15799864 KiB Current children cumulated memory: 3674656 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2364.8 s] /proc/loadavg: 2.49 2.40 3.54 3/237 27204 /proc/meminfo: memFree=16687240/32770688 swapFree=66919992/67108860 [pid=20121] ppid=20118 vsize=113128 memory=1448 CPUtime=0 cores=0-3 /proc/20121/stat : 20121 (xcsp3-exec) S 20118 20121 17600 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410857674 115843072 362 33554432000 4194304 5098028 140728904102144 140728904100248 140457442554492 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 33382400 140728904110970 140728904111213 140728904111213 140728904114122 0 /proc/20121/statm: 28282 362 304 221 0 87 0 [pid=20123] ppid=20121 vsize=15686736 memory=3673208 CPUtime=2400.02 cores=0-3 /proc/20123/stat : 20123 (java) S 20121 20121 17600 0 -1 1077944320 174245 0 0 0 239834 168 0 0 20 0 19 0 410857674 16063217664 918302 33554432000 4194304 4196468 140726428730736 140726428713280 140585263787767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 /proc/20123/statm: 3921684 918302 3522 1 0 3882786 0 [pid=20123/tid=20124] ppid=20121 vsize=15686736 memory=1432 CPUtime=1.21 cores=0-3 /proc/20123/task/20124/stat : 20124 (java) S 20121 20121 17600 0 -1 1077944384 27856 0 0 0 112 9 0 0 20 0 19 0 410857674 16063217664 918302 33554432000 4194304 4196468 140726428730736 140585268028480 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20125] ppid=20121 vsize=15686736 memory=6791534058613427641 CPUtime=0.09 cores=0-3 /proc/20123/task/20125/stat : 20125 (java) S 20121 20121 17600 0 -1 1077944384 151 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140585220340496 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20126] ppid=20121 vsize=15686736 memory=5972 CPUtime=0.09 cores=0-3 /proc/20123/task/20126/stat : 20126 (java) S 20121 20121 17600 0 -1 1077944384 99 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584854674320 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20127] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.09 cores=0-3 /proc/20123/task/20127/stat : 20127 (java) S 20121 20121 17600 0 -1 1077944384 144 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584853621776 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20128] ppid=20121 vsize=15686736 memory=2776 CPUtime=0.09 cores=0-3 /proc/20123/task/20128/stat : 20128 (java) S 20121 20121 17600 0 -1 1077944384 435 0 0 0 5 4 0 0 20 0 19 0 410857675 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584852569232 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20129] ppid=20121 vsize=15686736 memory=924 CPUtime=0.14 cores=0-3 /proc/20123/task/20129/stat : 20129 (java) S 20121 20121 17600 0 -1 1077944384 5454 0 0 0 7 7 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584137357296 140585263798914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20130] ppid=20121 vsize=15686736 memory=-3622645143214314312 CPUtime=0 cores=0-3 /proc/20123/task/20130/stat : 20130 (java) S 20121 20121 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584136303648 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20131] ppid=20121 vsize=15686736 memory=24768 CPUtime=0 cores=0-3 /proc/20123/task/20131/stat : 20131 (java) S 20121 20121 17600 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 410857677 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584135250944 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20132] ppid=20121 vsize=15686736 memory=2120 CPUtime=0 cores=0-3 /proc/20123/task/20132/stat : 20132 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584134199504 140585263806363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20133] ppid=20121 vsize=15686736 memory=496 CPUtime=3.79 cores=0-3 /proc/20123/task/20133/stat : 20133 (java) S 20121 20121 17600 0 -1 1077944384 11913 0 0 0 378 1 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584133147120 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20134] ppid=20121 vsize=15686736 memory=6791534058613427641 CPUtime=3.85 cores=0-3 /proc/20123/task/20134/stat : 20134 (java) S 20121 20121 17600 0 -1 1077944384 13029 0 0 0 384 1 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584132094576 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20135] ppid=20121 vsize=15686736 memory=3848 CPUtime=0.96 cores=0-3 /proc/20123/task/20135/stat : 20135 (java) S 20121 20121 17600 0 -1 1077944384 8302 0 0 0 94 2 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584131042032 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20136] ppid=20121 vsize=15686736 memory=2608 CPUtime=0 cores=0-3 /proc/20123/task/20136/stat : 20136 (java) S 20121 20121 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410857680 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584129989728 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=20137] ppid=20121 vsize=15686736 memory=2696 CPUtime=1.3 cores=0-3 /proc/20123/task/20137/stat : 20137 (java) S 20121 20121 17600 0 -1 1077944384 11422 0 0 0 71 59 0 0 20 0 19 0 410857681 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584128936240 140585263798914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=27096] ppid=20121 vsize=15686736 memory=1448 CPUtime=0.07 cores=0-3 /proc/20123/task/27096/stat : 27096 (java) S 20121 20121 17600 0 -1 1077944384 129 0 0 0 7 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584116809312 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=27097] ppid=20121 vsize=15686736 memory=3673208 CPUtime=0.08 cores=0-3 /proc/20123/task/27097/stat : 27097 (java) S 20121 20121 17600 0 -1 1077944384 173 0 0 0 8 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584111547344 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=27098] ppid=20121 vsize=15686736 memory=980 CPUtime=0.08 cores=0-3 /proc/20123/task/27098/stat : 27098 (java) S 20121 20121 17600 0 -1 1077944384 211 0 0 0 8 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584113652816 140585263797973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 [pid=20123/tid=27099] ppid=20121 vsize=15686736 memory=14008 CPUtime=385.1 cores=0-3 /proc/20123/task/27099/stat : 27099 (java) R 20121 20121 17600 0 -1 4202560 1155 0 0 0 38510 0 0 0 20 0 19 0 411055637 16063217664 918302 33554432000 4194304 4196468 140726428730736 140584115760200 140584901230024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13873152 140726428734447 140726428734618 140726428734618 140726428737487 0 Current children cumulated CPU time: 2400.02 s Current children cumulated vsize: 15799864 KiB Current children cumulated memory: 3674656 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2364.81 s] # the end of solver process 20121 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.002514 s, system=0 s [startup+2364.84 s] # the end of solver process 20123 was just reported to runsolver # cumulated CPU time of all completed processes: user=2398.37 s, system=1.71405 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2364.84 CPU time (s): 2400.08 CPU user time (s): 2398.37 CPU system time (s): 1.71405 CPU usage (%): 101.49 Max. virtual memory (cumulated for all children) (KiB): 15801524 Max. memory (cumulated for all children) (KiB): 3674656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.37 system time used= 1.71405 maximum resident set size= 3673700 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 175835 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1824 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 68370 involuntary context switches= 7065 # summary of solver processes directly reported to runsolver: # pid: 20121,20123 # total CPU time (s): 2400.08 # total CPU user time (s): 2398.37 # total CPU system time (s): 1.71405 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.6649 second user time and 29.553 second system time The end
Begin job on node120 at 2011-12-14 12:42:16 IDJOB=4394322 IDBENCH=141154 IDSOLVER=2842 FILE ID=node120/4394322-1568348513 RUNJOBID= node120-1323860857-17631 PBS_JOBID= 21701167 Free space on /tmp= 59128 MiB SOLVER NAME= choco-solver 2019-06-14 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394322-1568348513/watcher-4394322-1568348513 -o /tmp/evaluation-result-4394322-1568348513/solver-4394322-1568348513 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17631 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1948729526 HOME/instance-4394322-1568348513.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 125d0999a88baf20181d93552da446ae RANDOM SEED=1948729526 node120.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 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 microcode : 0x19 cpu MHz : 2667.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 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 microcode : 0x19 cpu MHz : 2667.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 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 microcode : 0x19 cpu MHz : 2667.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 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 microcode : 0x19 cpu MHz : 2667.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 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 microcode : 0x19 cpu MHz : 2667.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 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 microcode : 0x19 cpu MHz : 2667.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 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 microcode : 0x19 cpu MHz : 2667.000 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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 26423628 kB MemAvailable: 30494464 kB Buffers: 159624 kB Cached: 4204968 kB SwapCached: 77548 kB Active: 2615060 kB Inactive: 3151188 kB Active(anon): 1324572 kB Inactive(anon): 126960 kB Active(file): 1290488 kB Inactive(file): 3024228 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 26044 kB Writeback: 12 kB AnonPages: 1423856 kB Mapped: 60496 kB Shmem: 41008 kB Slab: 172628 kB SReclaimable: 143908 kB SUnreclaim: 28720 kB KernelStack: 3952 kB PageTables: 8716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 3178292 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1318912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 59004 MiB End job on node120 at 2011-12-14 13:21:41