Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.O parallel | SAT | 11.5776 | 1.48324 |
Name | Subisomorphism/Subisomorphism-m1-si2-rand/ Subisomorphism-si2-r001-m400-05.xml |
MD5SUM | 5f006248f7b4f652f1c0eb398f87a4da |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 9.50125 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 80 |
Number of constraints | 172 |
Number of domains | 1 |
Minimum domain size | 400 |
Maximum domain size | 400 |
Distribution of domain sizes | [{"size":400,"count":80}] |
Minimum variable degree | 2 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":2,"count":20},{"degree":4,"count":19},{"degree":5,"count":18},{"degree":6,"count":11},{"degree":7,"count":8},{"degree":8,"count":2},{"degree":9,"count":2}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 80 |
Distribution of constraint arities | [{"arity":1,"count":60},{"arity":2,"count":111},{"arity":80,"count":1}] |
Number of extensional constraints | 171 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":171},{"type":"allDifferent","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.03 c root propagations : 923 0.00/0.03 c restarts enabled, print stats at every restarts 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c This is cosoco 2.00 -- 0.00/0.03 c 0.00/0.03 c command line: cosoco -model -nbcores=8 HOME/instance-4397956-1568605538.xml 0.00/0.03 c ========================================[ Problem Statistics ]=========================================== 0.00/0.03 c | 0.00/0.03 c | Parse time : 0.02 s 0.00/0.03 c | 0.00/0.03 c | Variables: 80 0.00/0.03 c | Domain Sizes: 400..400 0.00/0.03 c | 0.00/0.03 c | Constraints: 172 0.00/0.03 c | Arity: 1..80 -- Unary: 60 -- Binary: 111 0.00/0.03 c | 0.00/0.03 c | Types: 0.00/0.03 c | All Different: 1 0.00/0.03 c | Extension: 111 (nb tuples: 3280..3280) -- (shared: 1312) 0.00/0.03 c | Unary: 60 0.00/0.03 c | 0.00/0.03 c ========================================================================================================= 0.00/0.03 c Parallel mode: Portfolio 0.00/0.03 c [pFactory][Group N°0] created (threads:8). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.00/0.03 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.00/0.03 c [pFactory][Group N°0] concurrent mode: enabled. 0.00/0.03 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.00/0.03 c [pFactory][Group N°0] task 7 launched on thread 7. 0.00/0.03 c [pFactory][Group N°0] task 6 launched on thread 0. 0.00/0.03 c [pFactory][Group N°0] task 5 launched on thread 1. 0.00/0.03 c [pFactory][Group N°0] task 4 launched on thread 2. 0.00/0.03 c [pFactory][Group N°0] task 3 launched on thread 5. 0.00/0.03 c [pFactory][Group N°0] task 2 launched on thread 3. 0.00/0.03 c [pFactory][Group N°0] task 1 launched on thread 6. 0.00/0.03 c [pFactory][Group N°0] task 0 launched on thread 4. 0.00/0.03 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.03 c root propagations : 923 0.00/0.03 c restarts enabled, print stats at every restarts 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.03 c root propagations : 923 0.00/0.03 c restarts enabled, print stats at every restarts 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.03 c root propagations : 923 0.00/0.03 c restarts enabled, print stats at every restarts 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.03 c 0 1 434 924 c 60 0 01 434 924 60 0 0 0 00 0 0 0.00/0.03 c 0 1 434 924 60 0 0 0 0 0.00/0.04 0.00/0.04 c 0 2 434 925 60 0 0 0 0 0.00/0.04 c 0 3 434 926 60 0 0 0 0 0.00/0.04 c 0 4 434 927 60 0 0 0 0 0.00/0.04 c 0 5 434 928 60 0 0 0 0 0.00/0.04 c 0 6 434 929 60 0 0 0 0 0.00/0.04 c 0 7 434 930 60 0 0 0 0 0.00/0.04 c 0 1 434 924 60 0 0 0 0 0.00/0.04 c 0 2 434 925 60 0 0 0 0 0.00/0.04 c 0 3 434 926 60 0 0 0 0 0.00/0.04 c root propagations : 923 0.00/0.04 c restarts enabled, print stats at every restarts 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.04 c root propagations : 923 0.00/0.04 c restarts enabled, print stats at every restarts 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.04 c 0 1 440 925 60 0 0 0 0 0.00/0.04 c 0 1 440 925 60 0 0 0 0 0.00/0.04 c 0 2 446 927 60 0 0 0 0 0.00/0.04 c 0 3 446 928 60 0 0 0 0 0.00/0.04 c 0 3 610 3414 60 0 0 0 0 0.00/0.04 c 0 3 610 3642 60 0 0 0 0 0.00/0.04 c root propagations : 923 0.00/0.04 c restarts enabled, print stats at every restarts 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.04 c 0 4 616 3418 60 0 0 0 0 0.00/0.04 c 0 1 440 927 60 0 0 0 0 0.00/0.04 c 0 4 616 3646 60 0 0 0 0 0.00/0.04 c 0 9 613 5941 60 0 0 0 0 0.00/0.04 c 0 10 619 5945 60 0 0 0 0 0.00/0.04 c 0 6 792 5907 60 0 0 0 0 0.00/0.04 c 0 7 792 5908 60 0 0 0 0 0.00/0.04 c 0 6 791 6363 60 0 0 0 0 0.00/0.04 c root propagations : 923 0.00/0.04 c restarts enabled, print stats at every restarts 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.04 c 0 5 629 5386 60 0 0 0 0 0.00/0.04 c 0 3 624 9111 60 0 0 0 0 0.00/0.04 c 0 1 440 927 60 0 0 0 0 0.00/0.04 c 0 12 797 10955 60 0 0 0 0 0.00/0.04 c 0 6 635 5388 60 0 0 0 0 0.00/0.04 c 0 8 836 8844 60 0 0 0 0 0.00/0.04 c 0 9 968 8397 60 0 0 0 0 0.00/0.04 c 0 3 623 6892 60 0 0 0 0 0.00/0.05 c 32 52 5118 92045 60 0 2 8 3 0.00/0.07 c 33 54 5437 96912 60 0 2 2 1 0.00/0.07 c 32 55 6184 105278 60 0 3 7 4 0.00/0.07 c 33 64 7368 126146 60 0 9 9 4 0.00/0.07 c 32 85 8929 110723 60 0 2 11 6 0.00/0.08 c 33 87 9253 122420 60 0 2 2 1 0.00/0.08 c 32 78 8683 172713 60 0 2 8 4 0.00/0.08 c 33 81 9176 189089 60 0 3 3 1 0.00/0.08 c 64 105 10863 193719 60 0 2 6 3 0.00/0.08 c 101 162 13722 169143 60 0 1 9 6 0.00/0.08 c 65 111 11745 214664 60 0 6 6 3 0.00/0.09 c 101 183 14627 205973 60 0 3 23 14 0.00/0.09 c 66 118 12802 235786 60 0 7 7 3 0.00/0.09 c 64 147 13692 233432 60 0 1 14 9 0.00/0.09 c 101 230 15386 193058 60 0 5 15 12 0.00/0.09 c 67 122 13499 250263 60 0 4 4 2 0.00/0.10 c 64 149 15938 236845 60 0 1 15 8 0.00/0.10 c 65 152 14458 246646 60 0 5 5 2 0.00/0.10 c 64 152 13266 275647 60 0 2 17 10 0.66/0.11 c 65 151 16258 245880 60 0 2 2 1 0.66/0.11 c 66 154 14785 256579 60 0 2 2 1 0.66/0.11 c 66 152 16279 249087 60 0 1 1 0 0.66/0.11 c 67 153 16300 252264 60 0 1 1 0 0.66/0.11 c 65 154 13574 284680 60 0 2 2 1 0.66/0.11 c 67 156 15094 270694 60 0 2 2 1 0.66/0.11 c 66 164 14060 301261 60 0 10 10 5 0.66/0.11 c 67 166 14401 308863 60 0 2 2 1 0.66/0.13 c 128 295 21324 405361 60 0 10 17 12 0.66/0.14 c 129 306 22320 427136 60 0 11 11 5 0.66/0.14 c 130 309 22780 442200 60 0 3 3 1 0.66/0.14 c 131 311 23035 451774 60 0 2 2 1 0.66/0.14 c 128 262 25226 426816 60 0 1 17 11 0.66/0.14 c 128 217 25674 439566 60 0 2 9 4 0.66/0.15 c 132 318 23716 472571 60 0 7 7 3 0.66/0.15 c 129 265 25925 446549 60 0 3 3 1 0.66/0.15 c 129 221 26378 454047 60 0 4 4 2 0.66/0.15 c 128 336 30301 409482 60 0 1 20 13 0.66/0.15 c 133 321 24159 489266 60 0 3 3 1 0.66/0.15 c 130 268 26432 463082 60 0 3 3 1 0.66/0.15 c 129 338 30623 417902 60 0 2 2 1 0.66/0.15 c 130 227 27264 475577 60 0 6 6 3 0.66/0.15 c 134 328 24994 509954 60 0 7 7 3 0.66/0.15 c 130 345 31283 440407 60 0 7 7 3 0.66/0.15 c 131 274 27303 484025 60 0 6 6 3 0.66/0.15 c 131 346 31309 444998 60 0 1 1 0 0.66/0.15 c 132 347 31338 450187 60 0 1 1 0 0.66/0.15 c 133 348 31364 454040 60 0 1 1 0 0.66/0.15 c 134 349 31393 459141 60 0 1 1 0 0.66/0.15 c 135 350 31413 462098 60 0 1 1 0 0.66/0.16 c 135 331 25437 526649 60 0 3 3 1 0.66/0.16 c 211 372 33697 407277 60 0 2 13 7 0.66/0.16 c 131 233 28231 495778 60 0 6 6 3 0.66/0.16 c 132 281 28361 505129 60 0 7 7 3 0.66/0.16 c 132 239 29056 516417 60 0 6 6 3 0.66/0.16 c 133 241 29377 527677 60 0 2 2 1 0.66/0.16 c 133 286 29196 519513 60 0 5 5 2 0.66/0.16 c 134 243 29618 541302 60 0 2 2 1 0.66/0.16 c 101 207 29946 499262 60 0 4 9 5 0.66/0.17 c 135 245 29895 554255 60 0 2 2 1 0.66/0.17 c 134 294 30054 534461 60 0 8 8 4 0.66/0.17 c 135 298 30824 553611 60 0 4 4 2 0.66/0.18 c 211 405 40418 551251 60 0 5 15 8 0.66/0.18 c 211 494 42051 499160 60 0 2 18 10 1.54/0.22 c 256 584 47461 804542 60 0 1 27 6 1.54/0.23 c 257 586 47737 816254 60 0 2 2 1 1.54/0.23 c 258 588 48026 826974 60 0 2 2 1 1.54/0.23 c 259 590 48297 838683 60 0 2 2 1 1.54/0.23 c 260 592 48586 849403 60 0 2 2 1 1.54/0.23 c 261 594 48856 861112 60 0 2 2 1 1.54/0.23 c 262 596 49145 871832 60 0 2 2 1 1.54/0.23 c 256 535 43818 791683 60 0 2 10 4 1.54/0.24 c 263 598 49415 883541 60 0 2 2 1 1.54/0.24 c 264 600 49704 894261 60 0 2 2 1 1.54/0.24 c 256 480 49296 817001 60 0 1 22 16 1.54/0.24 c 265 602 49974 905970 60 0 2 2 1 1.54/0.24 c 257 542 44523 812074 60 0 7 7 3 1.54/0.24 c 332 693 57837 666311 60 0 2 13 6 1.54/0.24 c 266 604 50263 916690 60 0 2 2 1 1.54/0.24 c 258 546 44831 822443 60 0 4 4 2 1.54/0.24 c 332 581 52567 796270 60 0 2 14 4 1.54/0.24 c 267 606 50533 928399 60 0 2 2 1 1.54/0.24 c 259 550 45158 836676 60 0 4 4 2 1.54/0.24 c 268 608 50831 939119 60 0 2 2 1 1.54/0.24 c 257 489 50471 835109 60 0 9 9 4 1.54/0.25 c 269 610 51111 950828 60 0 2 2 1 1.54/0.25 c 260 554 45506 846982 60 0 4 4 2 1.54/0.25 c 256 480 49801 818590 60 0 3 7 4 1.54/0.25 c 270 612 51400 961547 60 0 2 2 1 1.54/0.25 c 261 558 45833 861210 60 0 4 4 2 1.54/0.25 c 271 614 51680 973255 60 0 2 2 1 1.54/0.25 c 262 562 46181 871511 60 0 4 4 2 1.54/0.25 c 257 486 50504 835201 60 0 6 6 3 1.54/0.25 c 258 496 51532 857248 60 0 7 7 3 1.54/0.25 c 263 566 46512 885738 60 0 4 4 2 1.54/0.25 c 264 570 46851 896037 60 0 4 4 2 1.54/0.25 c 265 574 47178 910263 60 0 4 4 2 1.54/0.25 c 259 500 52464 878337 60 0 4 4 2 1.54/0.25 c 266 578 47517 920562 60 0 4 4 2 1.54/0.25 c 258 494 51813 858891 60 0 8 8 4 1.54/0.25 c 267 582 47844 934788 60 0 4 4 2 1.54/0.25 c 260 503 53164 898027 60 0 3 3 1 1.54/0.26 c 268 586 48183 945087 60 0 4 4 2 1.54/0.26 c 259 502 52669 873817 60 0 8 8 4 1.54/0.26 c 269 590 48510 959313 60 0 4 4 2 1.54/0.26 c 270 594 48849 969612 60 0 4 4 2 1.54/0.26 c 261 509 54047 919500 60 0 6 6 3 1.54/0.26 c 260 507 53434 896506 60 0 5 5 2 1.54/0.26 c 271 598 49181 983838 60 0 4 4 2 1.54/0.26 c 261 509 53798 910035 60 0 2 2 1 1.54/0.26 c 262 513 54895 940253 60 0 4 4 2 1.54/0.27 c 262 513 54156 923711 60 0 4 4 2 1.54/0.27 c 263 515 55204 954303 60 0 2 2 1 1.54/0.28 c 263 515 54491 934332 60 0 2 2 1 1.54/0.28 c 264 519 54854 948008 60 0 4 4 2 1.54/0.28 c 264 531 56259 976177 60 0 16 16 8 1.54/0.28 c 265 521 55189 958629 60 0 2 2 1 1.54/0.28 c 266 525 55547 972304 60 0 4 4 2 1.54/0.28 c 265 534 56965 995866 60 0 3 3 1 1.54/0.28 c 267 527 55882 982925 60 0 2 2 1 1.54/0.29 c 268 531 56240 996600 60 0 4 4 2 1.54/0.29 c 269 533 56575 1007221 60 0 2 2 1 1.54/0.29 c 266 540 57849 1017337 60 0 6 6 3 1.54/0.29 c 270 537 56933 1020896 60 0 4 4 2 1.54/0.29 c 332 693 70041 929498 60 0 4 16 9 1.54/0.29 c 271 539 57268 1031517 60 0 2 2 1 1.54/0.29 c 267 544 58692 1038088 60 0 4 4 2 1.54/0.29 c 268 546 59013 1052138 60 0 2 2 1 1.54/0.29 c 269 562 60068 1074010 60 0 16 16 8 1.54/0.30 c 270 565 60763 1093697 60 0 3 3 1 1.54/0.30 c 271 571 61655 1115167 60 0 6 6 3 1.54/0.31 c 465 842 74307 1058374 60 0 1 22 10 2.32/0.33 c 465 987 84737 980450 60 0 2 23 12 2.32/0.34 c 211 404 67262 1092800 60 0 2 8 5 2.32/0.36 c 512 1023 75983 1380568 60 0 1 19 6 2.32/0.36 c 513 1025 76131 1383626 60 0 2 2 1 2.32/0.37 c 514 1026 76148 1385700 60 0 1 1 0 2.32/0.37 c 515 1027 76167 1388544 60 0 1 1 0 2.32/0.37 c 611 1083 87618 1270814 60 0 2 15 5 2.32/0.37 c 516 1031 76549 1399027 60 0 4 4 2 2.32/0.37 c 517 1035 76992 1413754 60 0 4 4 2 2.32/0.37 c 518 1037 77196 1418891 60 0 2 2 1 2.32/0.37 c 519 1041 77639 1433618 60 0 4 4 2 2.32/0.37 c 520 1043 77843 1438755 60 0 2 2 1 2.32/0.38 c 521 1047 78286 1453482 60 0 4 4 2 2.32/0.38 c 522 1049 78490 1458619 60 0 2 2 1 2.32/0.38 c 523 1053 78933 1473346 60 0 4 4 2 2.32/0.38 c 524 1055 79144 1478484 60 0 2 2 1 2.32/0.38 c 465 913 91705 1337828 60 0 1 10 4 2.32/0.38 c 525 1059 79587 1493210 60 0 4 4 2 2.32/0.38 c 526 1061 79791 1498347 60 0 2 2 1 2.32/0.38 c 527 1065 80234 1513073 60 0 4 4 2 2.32/0.38 c 528 1067 80438 1518210 60 0 2 2 1 2.32/0.39 c 529 1071 80881 1532936 60 0 4 4 2 2.32/0.39 c 530 1073 81085 1538073 60 0 2 2 1 2.32/0.39 c 531 1077 81528 1552799 60 0 4 4 2 2.32/0.39 c 532 1079 81732 1557936 60 0 2 2 1 2.32/0.39 c 533 1083 82175 1572662 60 0 4 4 2 2.32/0.39 c 512 1013 93066 1484326 60 0 2 11 5 2.32/0.39 c 534 1085 82379 1577799 60 0 2 2 1 2.32/0.39 c 535 1089 82824 1592525 61 0 4 4 2 2.32/0.39 c 536 1091 83028 1597662 61 0 2 2 1 2.32/0.40 c 537 1095 83471 1612387 61 0 4 4 2 2.32/0.40 c 538 1097 83675 1617524 61 0 2 2 1 2.32/0.40 c 513 1021 94436 1509418 61 0 8 8 4 2.32/0.40 c 539 1101 84118 1632249 61 0 4 4 2 2.32/0.40 c 540 1103 84322 1637386 61 0 2 2 1 2.32/0.40 c 541 1107 84765 1652111 61 0 4 4 2 2.32/0.40 c 542 1109 84969 1657248 61 0 2 2 1 2.32/0.40 c 512 919 92206 1424431 60 0 2 19 12 2.32/0.40 c 514 1028 95393 1529006 61 0 7 7 3 2.32/0.40 c 543 1113 85412 1671973 61 0 4 4 2 2.32/0.41 c 513 924 93011 1447131 61 0 5 5 2 2.32/0.41 c 515 1036 96662 1553131 61 0 8 8 4 3.11/0.42 c 514 926 93384 1460667 61 0 2 2 1 3.11/0.42 c 515 930 93742 1474294 61 0 4 4 2 3.11/0.42 c 516 1039 97209 1569997 61 0 3 3 1 3.11/0.42 c 516 932 94077 1484850 61 0 2 2 1 3.11/0.42 c 517 936 94435 1498476 61 0 4 4 2 3.11/0.42 c 517 1049 98160 1595314 61 0 10 10 5 3.11/0.42 c 518 938 94772 1509031 61 0 2 2 1 3.11/0.43 c 519 942 95137 1522655 61 0 4 4 2 3.11/0.43 c 518 1052 98714 1612182 61 0 3 3 1 3.11/0.43 c 520 944 95438 1532927 61 0 2 2 1 3.11/0.43 c 521 946 95818 1544272 61 0 2 2 1 3.11/0.43 c 519 1062 99660 1637488 61 0 10 10 5 3.11/0.43 c 522 948 96314 1563768 61 0 2 2 1 3.11/0.43 c 520 1065 100214 1654349 61 0 3 3 1 3.11/0.44 c 523 958 96901 1582385 61 0 10 10 5 3.11/0.44 c 521 1075 101160 1679654 61 0 10 10 5 3.11/0.44 c 524 960 97202 1592656 61 0 2 2 1 3.11/0.44 c 525 962 97575 1604000 61 0 2 2 1 3.11/0.44 c 522 1078 101712 1695461 61 0 3 3 1 3.11/0.44 c 526 964 98071 1623496 61 0 2 2 1 3.11/0.44 c 523 1088 102658 1720766 61 0 10 10 5 3.11/0.45 c 527 974 98658 1642113 61 0 10 10 5 3.11/0.45 c 524 1091 103213 1737626 61 0 3 3 1 3.11/0.45 c 528 976 98967 1652384 61 0 2 2 1 3.11/0.45 c 529 978 99339 1663728 61 0 2 2 1 3.11/0.45 c 525 1101 104159 1762930 61 0 10 10 5 3.11/0.45 c 530 980 99835 1683223 61 0 2 2 1 3.11/0.45 c 526 1104 104711 1778736 61 0 3 3 1 3.11/0.45 c 611 1224 116994 1417007 60 0 3 8 4 3.11/0.46 c 531 990 100422 1701839 61 0 10 10 5 3.11/0.46 c 527 1114 105657 1804040 61 0 10 10 5 3.11/0.46 c 532 992 100723 1712109 61 0 2 2 1 3.11/0.46 c 533 994 101096 1723453 61 0 2 2 1 3.11/0.46 c 528 1117 106209 1819846 61 0 3 3 1 3.11/0.46 c 534 996 101592 1742948 61 0 2 2 1 3.11/0.46 c 332 628 99528 1551081 60 0 2 11 6 3.11/0.46 c 529 1127 107155 1845150 61 0 10 10 5 3.11/0.47 c 535 1006 102179 1761564 61 0 10 10 5 3.11/0.47 c 530 1130 107707 1860956 61 0 3 3 1 3.11/0.47 c 536 1008 102480 1771834 61 0 2 2 1 3.11/0.47 c 611 1139 112443 1662723 61 0 1 10 5 3.11/0.47 c 537 1010 102861 1783179 61 0 2 2 1 3.11/0.47 c 531 1140 108653 1886260 61 0 10 10 5 3.11/0.47 c 538 1012 103368 1802641 61 0 2 2 1 3.11/0.47 c 532 1143 109208 1903119 61 0 3 3 1 3.11/0.48 c 539 1022 103961 1821244 61 0 10 10 5 3.11/0.48 c 533 1153 110137 1928415 61 0 10 10 5 3.11/0.48 c 540 1024 104262 1831505 61 0 2 2 1 3.11/0.48 c 541 1026 104635 1842849 61 0 2 2 1 3.11/0.48 c 534 1156 110689 1944212 61 0 3 3 1 3.11/0.48 c 542 1028 105134 1862303 61 0 2 2 1 3.11/0.48 c 512 1027 107169 1830103 60 0 2 15 5 3.11/0.48 c 535 1166 111610 1969507 61 0 10 10 5 3.11/0.49 c 543 1038 105719 1880901 61 0 10 10 5 3.11/0.49 c 536 1169 112162 1985304 61 0 3 3 1 3.11/0.49 c 513 1031 107973 1849254 61 0 4 4 2 3.11/0.49 c 771 1334 124600 1745137 60 0 3 7 5 3.11/0.49 c 537 1179 113083 2010599 61 0 10 10 5 3.11/0.49 c 514 1037 108794 1869844 61 0 6 6 3 3.11/0.49 c 538 1182 113635 2027449 61 0 3 3 1 3.11/0.49 c 515 1039 109125 1881205 61 0 2 2 1 3.11/0.50 c 516 1041 109624 1900656 61 0 2 2 1 3.11/0.50 c 539 1192 114556 2052741 61 0 10 10 5 3.11/0.50 c 540 1195 115103 2069588 61 0 3 3 1 3.11/0.50 c 517 1051 110209 1919251 61 0 10 10 5 3.11/0.50 c 771 1383 125453 1788213 61 0 1 7 6 3.11/0.50 c 541 1205 116024 2094880 61 0 10 10 5 3.11/0.50 c 518 1067 111034 1940947 61 0 16 16 8 3.11/0.51 c 542 1208 116571 2111727 61 0 3 3 1 3.11/0.51 c 519 1071 111808 1960029 61 0 4 4 2 3.89/0.58 c 543 1218 117501 2137019 61 0 10 10 5 3.89/0.58 c 520 1077 112629 1980615 61 0 6 6 3 3.89/0.58 c 521 1079 112955 1991972 61 0 2 2 1 3.89/0.58 c 522 1081 113454 2011422 61 0 2 2 1 3.89/0.58 c 523 1091 114039 2030016 61 0 10 10 5 3.89/0.58 c 524 1107 114864 2051711 61 0 16 16 8 3.89/0.58 c 525 1110 115513 2072792 61 0 3 3 1 3.89/0.58 c 526 1117 116463 2099240 61 0 7 7 3 3.89/0.58 c 527 1123 117433 2118677 61 0 6 6 3 3.89/0.58 c 528 1127 118362 2139720 61 0 4 4 2 3.89/0.58 c 529 1131 119127 2158800 61 0 4 4 2 3.89/0.58 c 530 1137 119948 2179385 61 0 6 6 3 3.89/0.58 c 531 1139 120274 2190741 61 0 2 2 1 3.89/0.58 c 532 1141 120773 2210190 61 0 2 2 1 3.89/0.58 c 533 1151 121367 2228783 61 0 10 10 5 3.89/0.58 c 534 1167 122192 2250476 61 0 16 16 8 3.89/0.58 c 535 1170 122850 2271557 61 0 3 3 1 3.89/0.58 c 536 1177 123796 2298002 61 0 7 7 3 3.89/0.58 c 537 1183 124778 2317437 61 0 6 6 3 3.89/0.59 c 538 1187 125714 2338527 61 0 4 4 2 3.89/0.59 c 539 1191 126487 2357598 61 0 4 4 2 3.89/0.60 c 540 1196 127210 2378273 61 0 5 5 2 3.89/0.60 c 771 1538 158644 1970839 61 0 2 20 10 3.89/0.60 c 541 1200 128024 2398025 61 0 4 4 2 3.89/0.60 c 947 1701 149761 2146921 61 0 1 21 9 4.62/0.61 c 542 1216 129079 2419822 61 0 16 16 8 4.62/0.61 c 543 1219 129728 2440904 61 0 3 3 1 4.62/0.62 c 947 1642 160925 2316599 61 0 3 16 6 4.62/0.63 c 465 927 140559 2052384 61 0 3 11 6 4.62/0.64 c 1000 1792 157583 2283878 61 0 4 14 5 4.62/0.65 c 1000 1648 157767 2412690 61 0 1 17 14 4.62/0.67 c 1000 1761 171888 2488970 61 0 3 12 6 4.62/0.67 c 1024 1706 162843 2498403 61 0 2 9 4 4.62/0.68 c 1025 1710 163713 2519980 61 0 4 4 2 4.62/0.68 c 1026 1712 164212 2539424 61 0 2 2 1 4.62/0.69 c 1027 1722 164797 2558005 61 0 10 10 5 4.62/0.69 c 1028 1738 165622 2579686 61 0 16 16 8 4.62/0.69 c 1029 1742 166568 2602333 61 0 4 4 2 5.34/0.70 c 1030 1746 166926 2615923 61 0 4 4 2 5.34/0.70 c 1140 1993 175528 2526895 61 0 2 12 5 5.34/0.70 c 1031 1762 167751 2637603 61 0 16 16 8 5.34/0.70 c 1032 1766 168690 2660249 61 0 4 4 2 5.34/0.71 c 1033 1782 169750 2682044 61 0 16 16 8 5.34/0.71 c 1034 1786 170694 2704689 61 0 4 4 2 5.34/0.73 c 1035 1802 171754 2726482 61 0 16 16 8 5.34/0.73 c 1036 1806 172698 2749125 61 0 4 4 2 5.34/0.73 c 947 1840 187894 2401498 61 0 2 14 5 5.34/0.73 c 1037 1822 173758 2770915 61 0 16 16 8 5.34/0.74 c 1038 1826 174702 2793554 61 0 4 4 2 5.34/0.74 c 1039 1842 175762 2815341 61 0 16 16 8 5.34/0.75 c 1040 1846 176706 2837978 61 0 4 4 2 5.34/0.75 c 1024 2405 187859 2758129 61 0 2 25 14 5.34/0.75 c 1041 1862 177766 2859763 61 0 16 16 8 5.34/0.75 c 1025 2411 188356 2777892 61 0 6 6 3 5.34/0.75 c 1026 2415 188649 2787069 61 0 4 4 2 5.34/0.75 c 1042 1866 178705 2882398 61 0 4 4 2 5.34/0.75 c 1027 2421 189057 2806799 61 0 6 6 3 5.34/0.76 c 1028 2425 189350 2815976 61 0 4 4 2 5.34/0.76 c 1043 1882 179760 2904182 61 0 16 16 8 5.34/0.76 c 1029 2431 189758 2835706 61 0 6 6 3 5.34/0.76 c 1030 2435 190051 2844883 61 0 4 4 2 5.34/0.76 c 1000 1946 198481 2516773 61 0 4 11 6 5.34/0.76 c 1031 2441 190459 2864613 61 0 6 6 3 5.34/0.76 c 1044 1886 180699 2926817 61 0 4 4 2 5.34/0.76 c 1032 2445 190752 2873790 61 0 4 4 2 5.34/0.77 c 1033 2451 191160 2893520 61 0 6 6 3 5.34/0.77 c 1045 1902 181754 2948601 61 0 16 16 8 5.34/0.77 c 1034 2455 191453 2902697 61 0 4 4 2 5.34/0.77 c 1035 2461 191861 2922427 61 0 6 6 3 5.34/0.77 c 1036 2465 192154 2931604 61 0 4 4 2 5.34/0.77 c 1046 1906 182693 2971236 61 0 4 4 2 5.34/0.77 c 1037 2471 192562 2951334 61 0 6 6 3 5.34/0.77 c 1140 2010 198383 2836641 61 0 2 14 7 5.34/0.77 c 1038 2475 192855 2960511 61 0 4 4 2 5.34/0.77 c 1047 1922 183748 2993020 61 0 16 16 8 5.34/0.78 c 1039 2481 193263 2980241 61 0 6 6 3 5.34/0.78 c 1040 2485 193556 2989418 61 0 4 4 2 5.34/0.78 c 1048 1926 184687 3015655 61 0 4 4 2 5.34/0.78 c 1041 2491 193964 3009148 61 0 6 6 3 5.34/0.78 c 1042 2495 194257 3018325 61 0 4 4 2 5.34/0.78 c 1043 2501 194665 3038055 61 0 6 6 3 5.34/0.78 c 1049 1942 185742 3037439 61 0 16 16 8 5.34/0.78 c 1044 2505 194963 3047232 61 0 4 4 2 5.34/0.79 c 1045 2511 195373 3066969 61 0 6 6 3 5.34/0.79 c 1050 1946 186686 3060074 61 0 4 4 2 5.34/0.79 c 1046 2515 195666 3076145 61 0 4 4 2 5.34/0.79 c 1047 2521 196076 3095882 61 0 6 6 3 5.34/0.79 c 1051 1962 187741 3081857 61 0 16 16 8 5.34/0.79 c 1048 2525 196369 3105058 61 0 4 4 2 5.34/0.79 c 1049 2531 196779 3124795 61 0 6 6 3 5.34/0.79 c 1050 2535 197072 3133971 61 0 4 4 2 6.15/0.80 c 1052 1966 188680 3104491 61 0 4 4 2 6.15/0.80 c 1051 2541 197482 3153708 61 0 6 6 3 6.15/0.80 c 1052 2545 197775 3162884 61 0 4 4 2 6.15/0.80 c 1053 1982 189735 3126274 61 0 16 16 8 6.15/0.80 c 1053 2551 198185 3182621 61 0 6 6 3 6.15/0.80 c 1054 2555 198478 3191797 61 0 4 4 2 6.15/0.80 c 1055 2561 198888 3211534 61 0 6 6 3 6.15/0.80 c 1054 1986 190674 3148908 61 0 4 4 2 6.15/0.80 c 1056 2565 199181 3220710 61 0 4 4 2 6.15/0.81 c 611 1270 183016 2604928 61 0 3 10 7 6.15/0.81 c 1057 2571 199591 3240447 61 0 6 6 3 6.15/0.81 c 1055 2002 191729 3170691 61 0 16 16 8 6.15/0.81 c 1058 2575 199884 3249623 61 0 4 4 2 6.15/0.81 c 1352 2293 204702 2949325 61 0 3 11 4 6.15/0.81 c 1059 2581 200294 3269360 61 0 6 6 3 6.15/0.81 c 1056 2006 192668 3193325 61 0 4 4 2 6.15/0.81 c 1060 2585 200596 3278536 61 0 4 4 2 6.15/0.81 c 1061 2591 201006 3298271 61 0 6 6 3 6.15/0.82 c 1062 2595 201299 3307445 61 0 4 4 2 6.15/0.82 c 1057 2022 193732 3215110 61 0 16 16 8 6.15/0.82 c 1063 2601 201709 3327180 61 0 6 6 3 6.15/0.82 c 1064 2605 202002 3336354 61 0 4 4 2 6.15/0.82 c 1058 2026 194671 3237742 61 0 4 4 2 6.15/0.82 c 1065 2611 202412 3356089 61 0 6 6 3 6.15/0.82 c 1066 2615 202705 3365263 61 0 4 4 2 6.15/0.82 c 1059 2042 195726 3259525 61 0 16 16 8 c 6.15/0.83 1067 2621 203115 3384998 61 0 6 6 3 6.15/0.83 c 1068 2625 203414 3394173 61 0 4 4 2 6.15/0.83 c 1060 2046 196671 3282157 61 0 4 4 2 6.15/0.83 c 1069 2631 203824 3413907 61 0 6 6 3 6.15/0.83 c 1140 2195 223240 2760470 61 0 c 4 23 19 1070 6.15/0.84 2635 204117 3423081 61 0 4 4 2 6.15/0.84 c 1061 2062 197726 3303939 61 0 16 16 8 6.15/0.84 c 1071 2641 204527 3442815 61 0 6 6 3 6.15/0.84 c 1072 2645 204820 3451989 61 0 4 4 2 6.15/0.84 c 1073 2651 205230 3471723 61 0 6 6 3 6.15/0.84 c 1062 2066 198665 3326570 61 0 4 4 2 6.15/0.84 c 1074 2655 205523 3480897 61 0 4 4 2 6.15/0.84 c 1075 2661 205933 3500631 61 0 6 6 3 6.15/0.84 c 1063 2082 199720 3348352 61 0 16 16 8 6.15/0.84 c 1076 2665 206226 3509805 61 0 4 4 2 6.15/0.85 c 1077 2671 206636 3529539 61 0 6 6 3 6.15/0.85 c 1078 2675 206929 3538713 61 0 4 4 2 6.15/0.85 c 1064 2086 200659 3370983 61 0 4 4 2 6.15/0.85 c 1079 2681 207339 3558447 61 0 6 6 3 6.15/0.85 c 1080 2685 207632 3567621 61 0 4 4 2 6.15/0.85 c 1065 2102 201714 3392765 61 0 16 16 8 6.15/0.85 c 1081 2691 208042 3587355 61 0 6 6 3 6.15/0.86 c 1082 2695 208335 3596529 61 0 4 4 2 6.15/0.86 c 1066 2106 202653 3415396 61 0 4 4 2 6.15/0.86 c 1083 2701 208745 3616263 61 0 6 6 3 6.15/0.86 c 1084 2705 209038 3625437 61 0 4 4 2 6.15/0.86 c 1085 2711 209448 3645171 61 0 6 6 3 6.15/0.86 c 1067 2122 203708 3437178 61 0 16 16 8 6.15/0.86 c 1086 2715 209741 3654345 61 0 4 4 2 6.15/0.86 c 1087 2721 210151 3674079 61 0 6 6 3 6.15/0.86 c 1068 2126 204647 3459809 61 0 4 4 2 6.15/0.87 c 1069 2142 205702 3481591 61 0 16 16 8 6.15/0.87 c 1070 2146 206641 3504222 61 0 4 4 2 6.15/0.89 c 1071 2162 207702 3526004 61 0 16 16 8 6.15/0.89 c 1072 2166 208645 3548637 61 0 4 4 2 6.15/0.89 c 1352 2392 228165 3211795 61 0 2 16 7 6.15/0.89 c 1073 2182 209700 3570417 61 0 16 16 8 6.94/0.90 c 1074 2186 210639 3593049 61 0 4 4 2 6.94/0.90 c 1075 2202 211694 3614829 61 0 16 16 8 6.94/0.91 c 1076 2206 212633 3637461 61 0 4 4 2 6.94/0.91 c 1077 2222 213688 3659241 61 0 16 16 8 6.94/0.91 c 1000 1902 199836 3878187 61 0 3 9 4 6.94/0.92 c 1078 2226 214627 3681873 61 0 4 4 2 6.94/0.92 c 1079 2242 215682 3703653 61 0 16 16 8 6.94/0.92 c 1080 2246 216621 3726285 61 0 4 4 2 6.94/0.93 c 1081 2262 217676 3748065 61 0 16 16 8 6.94/0.93 c 1082 2266 218615 3770697 61 0 4 4 2 6.94/0.94 c 1083 2282 219670 3792477 61 0 16 16 8 6.94/0.94 c 1084 2286 220609 3815109 61 0 4 4 2 6.94/0.94 c 1024 1943 207371 3971239 61 0 3 8 4 6.94/0.94 c 1585 2670 242507 3330337 61 0 1 9 6 6.94/0.94 c 1085 2302 221664 3836889 61 0 16 16 8 6.94/0.94 c 1025 1948 208165 3993894 61 0 5 5 2 6.94/0.95 c 1086 2306 222603 3859521 61 0 4 4 2 6.94/0.95 c 1026 1956 209088 4019122 61 0 8 8 4 6.94/0.95 c 1087 2322 223658 3881301 61 0 16 16 8 6.94/0.95 c 1027 1972 210143 4040902 61 0 16 16 8 6.94/0.96 c 1028 1977 210790 4059678 61 0 5 5 2 6.94/0.96 c 771 1581 228095 3143673 61 0 2 12 6 6.94/0.96 c 1029 1985 211713 4084906 61 0 8 8 4 6.94/0.97 c 1030 2001 212768 4106686 61 0 16 16 8 6.94/0.97 c 1031 2006 213415 4125462 61 0 5 5 2 6.94/0.98 c 1032 2014 214338 4150690 61 0 8 8 4 6.94/0.98 c 1352 2600 266006 3259636 61 0 4 18 12 6.94/0.98 c 1033 2030 215399 4172470 61 0 16 16 8 6.94/0.98 c 1034 2035 216046 4191245 61 0 5 5 2 6.94/0.99 c 1035 2043 216970 4216521 61 0 8 8 4 6.94/0.99 c 1036 2059 218025 4238300 61 0 16 16 8 6.94/1.01 c 1037 2064 218672 4257075 61 0 5 5 2 6.94/1.01 c 1038 2072 219596 4282351 61 0 8 8 4 6.94/1.01 c 1000 2055 246762 4069484 61 0 2 13 5 6.94/1.01 c 1039 2088 220657 4304130 61 0 16 16 8 7.79/1.01 c 1585 2818 265996 3540896 61 0 2 20 14 7.79/1.01 c 1040 2093 221443 4326078 61 0 5 5 2 7.79/1.02 c 1041 2101 222367 4351353 61 0 8 8 4 7.79/1.02 c 1042 2117 223422 4373131 61 0 16 16 8 7.79/1.02 c 1043 2122 224204 4395079 61 0 5 5 2 7.79/1.03 c 1044 2125 224768 4414426 61 0 3 3 1 7.79/1.03 c 1045 2127 225266 4433849 61 0 2 2 1 7.79/1.04 c 1046 2137 225851 4452409 61 0 10 10 5 7.79/1.04 c 1047 2153 226676 4474069 61 0 16 16 8 7.79/1.04 c 1024 2123 255044 4194038 61 0 4 9 6 7.79/1.04 c 1048 2158 227462 4496016 61 0 5 5 2 7.79/1.06 c 1049 2161 228062 4513785 61 0 3 3 1 7.79/1.06 c 1025 2129 256055 4217357 61 0 6 6 3 7.79/1.06 c 1050 2163 228568 4533201 61 0 2 2 1 7.79/1.06 c 1026 2131 256385 4229930 61 0 2 2 1 7.79/1.06 c 1051 2173 229153 4551753 61 0 10 10 5 7.79/1.06 c 1027 2138 257064 4252702 61 0 7 7 3 7.79/1.07 c 1052 2189 229978 4573406 61 0 16 16 8 7.79/1.07 c 1028 2145 257583 4271390 61 0 7 7 3 7.79/1.07 c 1841 3069 273992 3747133 61 0 1 17 7 7.79/1.07 c 1029 2147 257819 4283994 61 0 2 2 1 7.79/1.07 c 1053 2194 230764 4595345 61 0 5 5 2 7.79/1.07 c 1030 2157 258392 4302740 61 0 10 10 5 7.79/1.07 c 1054 2197 231368 4613108 61 0 3 3 1 7.79/1.07 c 1031 2159 258626 4310946 61 0 2 2 1 7.79/1.07 c 1032 2160 258646 4314041 61 0 1 1 0 7.79/1.07 c 1033 2161 258665 4316916 61 0 1 1 0 7.79/1.07 c 1034 2162 258684 4319780 61 0 1 1 0 7.79/1.07 c 1035 2164 258924 4330235 61 0 2 2 1 7.79/1.07 c 1055 2199 231879 4632519 61 0 2 2 1 7.79/1.07 c 1036 2165 258958 4333294 61 0 1 1 0 7.79/1.07 c 1037 2166 258971 4334540 61 0 1 1 0 7.79/1.07 c 1038 2167 258984 4335791 61 0 1 1 0 7.79/1.07 c 1039 2168 258997 4337020 61 0 1 1 0 7.79/1.07 c 1040 2169 259039 4342277 61 0 1 1 0 7.79/1.07 c 1041 2170 259079 4348411 61 0 1 1 0 7.79/1.07 c 2000 3940 288418 4404113 61 0 4 7 6 7.79/1.07 c 1042 2173 259411 4359711 61 0 3 3 1 7.79/1.08 c 1056 2209 232482 4651064 61 0 10 10 5 7.79/1.08 c 2000 3942 288526 4406124 61 0 0 0 0 7.79/1.08 c 1043 2177 259804 4370125 61 0 4 4 2 7.79/1.08 c 1057 2225 233318 4672714 61 0 16 16 8 7.79/1.08 c 1044 2184 260324 4388795 61 0 7 7 3 7.79/1.08 c 1058 2230 234110 4694650 61 0 5 5 2 7.79/1.08 c 1045 2194 260885 4407488 61 0 10 10 5 7.79/1.09 c 1059 2232 234403 4706103 61 0 2 2 1 7.79/1.09 c 1046 2196 261095 4415795 61 0 2 2 1 7.79/1.09 c 1047 2199 261427 4427094 61 0 3 3 1 7.79/1.09 c 1060 2248 235440 4727855 61 0 16 16 8 7.79/1.09 c 1048 2203 261822 4437507 61 0 4 4 2 7.79/1.09 c 1049 2210 262340 4456176 61 0 7 7 3 7.79/1.09 c 1061 2253 236236 4749791 61 0 5 5 2 7.79/1.09 c 2048 4018 292639 4477879 61 0 6 6 5 7.79/1.10 c 1062 2255 236536 4761243 61 0 2 2 1 7.79/1.10 c 2049 4022 292990 4487249 61 0 4 4 2 7.79/1.10 c 1050 2220 262908 4474868 61 0 10 10 5 7.79/1.10 c 1051 2222 263118 4483181 61 0 2 2 1 7.79/1.10 c 2050 4028 293523 4506869 61 0 6 6 3 7.79/1.10 c 2051 4032 293864 4516237 61 0 4 4 2 7.79/1.10 c 1063 2271 237573 4782994 61 0 16 16 8 7.79/1.10 c 1052 2225 263454 4494486 61 0 3 3 1 7.79/1.10 c 2052 4038 294397 4535856 61 0 6 6 3 7.79/1.10 c 1053 2229 263840 4504896 61 0 4 4 2 7.79/1.10 c 1064 2276 238357 4804928 61 0 5 5 2 7.79/1.10 c 2053 4042 294734 4545223 61 0 4 4 2 7.79/1.10 c 1054 2236 264358 4523563 61 0 7 7 3 7.79/1.10 c 1065 2278 238650 4816378 61 0 2 2 1 7.79/1.10 c 2054 4048 295267 4564842 61 0 6 6 3 7.79/1.10 c 947 1901 262700 3620851 61 0 2 15 7 7.79/1.10 c 2055 4052 295604 4574209 61 0 4 4 2 7.79/1.11 c 1055 2246 264919 4542253 61 0 10 10 5 7.79/1.11 c 2056 4058 296137 4593828 61 0 6 6 3 7.79/1.11 c 1066 2294 239687 4838128 61 0 16 16 8 7.79/1.11 c 1056 2248 265129 4550565 61 0 2 2 1 7.79/1.11 c 2057 4062 296474 4603195 61 0 4 4 2 7.79/1.11 c 1057 2251 265461 4561869 61 0 3 3 1 7.79/1.11 c 1067 2299 240479 4860061 61 0 5 5 2 7.79/1.11 c 2058 4068 297007 4622814 61 0 6 6 3 7.79/1.11 c 1058 2255 265847 4572279 61 0 4 4 2 7.79/1.11 c 2059 4072 297351 4632181 61 0 4 4 2 7.79/1.11 c 1068 2301 240772 4871511 61 0 2 2 1 7.79/1.11 c 2060 4078 297884 4651799 61 0 6 6 3 7.79/1.11 c 1059 2262 266372 4590946 61 0 7 7 3 8.67/1.12 c 2061 4082 298221 4661165 61 0 4 4 2 8.67/1.12 c 1069 2317 241816 4893261 61 0 16 16 8 8.67/1.12 c 1060 2272 266933 4609635 61 0 10 10 5 8.67/1.12 c 2062 4088 298754 4680783 61 0 6 6 3 8.67/1.12 c 1061 2274 267143 4617946 61 0 2 2 1 8.67/1.12 c 2063 4092 299091 4690149 61 0 4 4 2 8.67/1.12 c 1070 2322 242608 4915193 61 0 5 5 2 8.67/1.12 c 1585 3091 302085 3748539 61 0 2 17 8 8.67/1.12 c 1062 2277 267475 4629249 61 0 3 3 1 8.67/1.12 c 1063 2278 267494 4631980 61 0 1 1 0 8.67/1.12 c 1064 2279 267513 4634850 61 0 1 1 0 8.67/1.12 c 1065 2280 267532 4637662 61 0 1 1 0 8.67/1.12 c 1071 2324 242901 4926643 61 0 2 2 1 8.67/1.12 c 2064 4098 299624 4709767 61 0 6 6 3 8.67/1.12 c 1066 2281 267602 4644684 61 0 1 1 0 8.67/1.12 c 2065 4102 299968 4719133 61 0 4 4 2 8.67/1.12 c 1067 2283 267797 4653320 61 0 2 2 1 8.67/1.12 c 1068 2285 267990 4662245 61 0 2 2 1 8.67/1.14 c 2066 4108 300508 4738748 61 0 6 6 3 8.67/1.14 c 1072 2340 243945 4948392 61 0 16 16 8 8.67/1.14 c 2067 4112 300852 4748110 61 0 4 4 2 8.67/1.14 c 1069 2288 268347 4673360 61 0 3 3 1 8.67/1.14 c 2000 3317 292701 4045046 61 0 1 19 9 8.67/1.14 c 1070 2290 268557 4681665 61 0 2 2 1 8.67/1.14 c 1073 2345 244732 4970321 61 0 5 5 2 8.67/1.14 c 2068 4118 301389 4767779 61 0 6 6 3 8.67/1.14 c 2069 4122 301726 4777139 61 0 4 4 2 8.67/1.14 c 1071 2297 268899 4693134 61 0 7 7 3 8.67/1.14 c 1074 2347 245025 4981767 61 0 2 2 1 8.67/1.14 c 2070 4128 302263 4796808 61 0 6 6 3 8.67/1.14 c 1072 2299 269245 4698932 61 0 2 2 1 8.67/1.14 c 2071 4132 302600 4806168 61 0 4 4 2 8.67/1.14 c 1075 2363 246062 5003510 61 0 16 16 8 8.67/1.14 c 1073 2302 269602 4710047 61 0 3 3 1 8.67/1.14 c 1074 2304 269812 4718352 61 0 2 2 1 8.67/1.14 c 2072 4138 303137 4825837 61 0 6 6 3 8.67/1.15 c 2073 4142 303474 4835197 61 0 4 4 2 8.67/1.15 c 1076 2368 246842 5025436 61 0 5 5 2 8.67/1.15 c 1075 2311 270154 4729818 61 0 7 7 3 8.67/1.15 c 1077 2370 247135 5036882 61 0 2 2 1 8.67/1.15 c 2074 4148 304011 4854866 61 0 6 6 3 8.67/1.15 c 1076 2313 270500 4735616 61 0 2 2 1 8.67/1.15 c 2075 4152 304348 4864226 61 0 4 4 2 8.67/1.15 c 1077 2316 270857 4746731 61 0 3 3 1 8.67/1.15 c 2076 4158 304885 4883895 61 0 6 6 3 8.67/1.15 c 1078 2318 271067 4755036 61 0 2 2 1 8.67/1.15 c 1078 2386 248172 5058625 61 0 16 16 8 8.67/1.15 c 1000 2026 274115 3758644 61 0 2 19 10 8.67/1.15 c 2077 4162 305222 4893255 61 0 4 4 2 8.67/1.15 c 1079 2325 271409 4766505 61 0 7 7 3 8.67/1.15 c 1079 2391 248952 5080551 61 0 5 5 2 8.67/1.16 c 2078 4168 305759 4912924 61 0 6 6 3 8.67/1.16 c 1080 2327 271755 4772305 61 0 2 2 1 8.67/1.16 c 2079 4172 306096 4922284 61 0 4 4 2 8.67/1.16 c 1080 2393 249245 5091997 61 0 2 2 1 8.67/1.16 c 1081 2330 272112 4783420 61 0 3 3 1 8.67/1.16 c 2080 4178 306633 4941953 61 0 6 6 3 8.67/1.16 c 1082 2332 272322 4791725 61 0 2 2 1 8.67/1.16 c 2081 4182 306970 4951313 61 0 4 4 2 8.67/1.16 c 1081 2409 250282 5113740 61 0 16 16 8 8.67/1.16 c 1083 2339 272664 4803194 61 0 7 7 3 8.67/1.16 c 2082 4188 307507 4970982 61 0 6 6 3 8.67/1.16 c 1084 2341 273010 4808992 61 0 2 2 1 8.67/1.17 c 2083 4192 307844 4980342 61 0 4 4 2 8.67/1.17 c 1082 2414 251062 5135666 61 0 5 5 2 8.67/1.17 c 1085 2344 273367 4820107 61 0 3 3 1 8.67/1.17 c 1083 2416 251355 5147112 61 0 2 2 1 8.67/1.17 c 2084 4198 308381 5000011 61 0 6 6 3 8.67/1.17 c 1086 2346 273577 4828412 61 0 2 2 1 8.67/1.17 c 2085 4202 308718 5009371 61 0 4 4 2 8.67/1.17 c 1087 2353 273919 4839881 61 0 7 7 3 8.67/1.17 c 2086 4208 309255 5029040 61 0 6 6 3 8.67/1.17 c 1084 2432 252392 5168855 61 0 16 16 8 8.67/1.17 c 2087 4212 309592 5038400 61 0 4 4 2 8.67/1.17 c 1085 2437 253172 5190781 61 0 5 5 2 8.67/1.18 c 2088 4218 310129 5058069 61 0 6 6 3 8.67/1.18 c 1086 2439 253465 5202227 61 0 2 2 1 8.67/1.18 c 2089 4222 310466 5067429 61 0 4 4 2 8.67/1.18 c 2090 4228 311003 5087098 61 0 6 6 3 8.67/1.18 c 2091 4232 311340 5096458 61 0 4 4 2 8.67/1.18 c 1087 2455 254502 5223970 61 0 16 16 8 8.67/1.18 c 2092 4238 311877 5116127 61 0 6 6 3 8.67/1.19 c 2093 4242 312214 5125487 61 0 4 4 2 8.67/1.19 c 2094 4248 312751 5145156 61 0 6 6 3 8.67/1.19 c 2095 4252 313088 5154516 61 0 4 4 2 8.67/1.19 c 2096 4258 313625 5174185 61 0 6 6 3 9.32/1.20 c 2097 4262 313962 5183545 61 0 4 4 2 9.32/1.20 c 2098 4268 314499 5203214 61 0 6 6 3 9.32/1.20 c 2099 4272 314836 5212574 61 0 4 4 2 9.32/1.20 c 2100 4278 315373 5232243 61 0 6 6 3 9.32/1.20 c 2101 4282 315710 5241603 61 0 4 4 2 9.32/1.21 c 2102 4288 316247 5261272 61 0 6 6 3 9.32/1.21 c 2103 4292 316584 5270632 61 0 4 4 2 9.32/1.21 c 2104 4298 317121 5290301 61 0 6 6 3 9.32/1.21 c 2105 4302 317458 5299661 61 0 4 4 2 9.32/1.21 c 2106 4308 317995 5319330 61 0 6 6 3 9.32/1.21 c 2107 4312 318332 5328690 61 0 4 4 2 9.32/1.22 c 2108 4318 318869 5348359 61 0 6 6 3 9.32/1.22 c 1841 3217 313688 4403840 61 0 2 9 4 9.32/1.22 c 2109 4322 319206 5357719 61 0 4 4 2 9.32/1.22 c 2122 3497 313467 4368947 61 0 3 7 4 9.32/1.22 c 2110 4328 319743 5377388 61 0 6 6 3 9.32/1.22 c 1140 2257 290788 3986522 61 0 3 15 8 9.32/1.22 c 2111 4332 320080 5386748 61 0 4 4 2 9.32/1.22 c 2112 4338 320617 5406417 61 0 6 6 3 9.32/1.22 c 2113 4342 320954 5415777 61 0 4 4 2 9.32/1.23 c 2114 4348 321491 5435446 61 0 6 6 3 9.32/1.23 c 2115 4352 321833 5444806 61 0 4 4 2 9.32/1.23 c 2116 4358 322377 5464474 61 0 6 6 3 9.32/1.23 c 2117 4362 322714 5473832 61 0 4 4 2 9.32/1.23 c 2118 4368 323251 5493499 61 0 6 6 3 9.32/1.24 c 2119 4372 323593 5502857 61 0 4 4 2 9.32/1.24 c 2120 4378 324131 5522527 61 0 6 6 3 9.32/1.24 c 2121 4382 324480 5531884 61 0 4 4 2 9.32/1.24 c 2122 4388 325018 5551543 61 0 6 6 3 9.32/1.24 c 2123 4392 325355 5560889 61 0 4 4 2 9.32/1.25 c 2124 4398 325893 5580548 61 0 6 6 3 9.32/1.25 c 2125 4402 326230 5589894 61 0 4 4 2 9.32/1.25 c 2126 4408 326768 5609553 61 0 6 6 3 9.32/1.25 c 2127 4412 327105 5618899 61 0 4 4 2 9.32/1.25 c 2128 4418 327648 5638559 61 0 6 6 3 9.32/1.25 c 2129 4422 327985 5647904 61 0 4 4 2 9.32/1.26 c 2130 4428 328523 5667563 61 0 6 6 3 9.32/1.26 c 2131 4432 328860 5676908 61 0 4 4 2 9.32/1.26 c 2132 4438 329398 5696567 61 0 6 6 3 9.32/1.26 c 2000 3411 324321 4772115 61 0 2 6 2 9.32/1.26 c 2133 4442 329735 5705912 61 0 4 4 2 9.32/1.26 c 2134 4448 330279 5725571 61 0 6 6 3 9.32/1.26 c 2135 4452 330616 5734915 61 0 4 4 2 9.32/1.27 c 2136 4458 331154 5754573 61 0 6 6 3 9.32/1.27 c 2137 4462 331491 5763917 61 0 4 4 2 9.32/1.27 c 2138 4468 332029 5783575 61 0 6 6 3 9.32/1.27 c 2139 4472 332366 5792919 61 0 4 4 2 9.32/1.27 c 2140 4478 332904 5812577 61 0 6 6 3 9.32/1.28 c 1841 3560 345434 4269686 61 0 4 21 15 9.32/1.28 c 2141 4482 333241 5821921 61 0 4 4 2 9.32/1.29 c 2142 4488 333779 5841579 61 0 6 6 3 9.32/1.29 c 2143 4492 334122 5850923 61 0 4 4 2 9.32/1.29 c 2144 4498 334660 5870580 61 0 6 6 3 9.32/1.29 c 2145 4502 334997 5879923 61 0 4 4 2 9.32/1.30 c 2146 4508 335542 5899580 61 0 6 6 3 9.32/1.30 c 2147 4512 335879 5908922 61 0 4 4 2 9.32/1.30 c 2148 4518 336417 5928578 61 0 6 6 3 9.32/1.30 c 2149 4522 336754 5937920 61 0 4 4 2 9.32/1.30 c 2150 4528 337292 5957576 61 0 6 6 3 9.32/1.30 c 2151 4532 337629 5966918 61 0 4 4 2 10.13/1.31 c 2152 4538 338167 5986574 61 0 6 6 3 10.13/1.31 c 2153 4542 338504 5995916 61 0 4 4 2 10.13/1.31 c 2154 4548 339047 6015572 61 0 6 6 3 10.13/1.31 c 2155 4552 339384 6025003 61 0 4 4 2 10.13/1.31 c 2156 4558 339922 6044658 61 0 6 6 3 10.13/1.31 c 2157 4562 340259 6054089 61 0 4 4 2 10.13/1.32 c 2158 4568 340797 6073744 61 0 6 6 3 10.13/1.32 c 2159 4572 341134 6083175 61 0 4 4 2 10.13/1.32 c 2160 4578 341672 6102830 61 0 6 6 3 10.13/1.32 c 2161 4582 342009 6112261 61 0 4 4 2 10.13/1.32 c 2162 4588 342547 6131916 61 0 6 6 3 10.13/1.33 c 2163 4592 342884 6141347 61 0 4 4 2 10.13/1.33 c 2122 3662 341684 4969384 61 0 1 24 12 10.13/1.33 c 2164 4598 343422 6161002 61 0 6 6 3 10.13/1.33 c 2165 4602 343759 6170433 61 0 4 4 2 10.13/1.33 c 2166 4608 344297 6190088 61 0 6 6 3 10.13/1.33 c 2167 4612 344634 6199519 61 0 4 4 2 10.13/1.34 c 2168 4618 345172 6219174 61 0 6 6 3 10.13/1.34 c 2169 4622 345509 6228605 61 0 4 4 2 10.13/1.34 c 2170 4628 346047 6248260 61 0 6 6 3 10.13/1.34 c 2171 4632 346384 6257691 61 0 4 4 2 10.13/1.34 c 2172 4638 346922 6277346 61 0 6 6 3 10.13/1.34 c 2173 4642 347259 6286777 61 0 4 4 2 10.13/1.35 c 2174 4648 347797 6306432 61 0 6 6 3 10.13/1.35 c 2175 4652 348134 6315863 61 0 4 4 2 10.13/1.36 c 2000 3758 342655 5301043 61 0 2 20 11 10.13/1.36 c 2431 4031 354914 4816104 61 0 2 12 7 10.13/1.37 c 1352 2703 330931 4489858 61 0 1 18 9 10.13/1.39 c 2048 3826 351440 5462015 62 0 2 6 2 10.93/1.40 c 2049 3830 351807 5475607 62 0 4 4 2 10.93/1.40 c 2050 3846 352646 5497205 62 0 16 16 8 10.93/1.40 c 2000 3892 377465 4779498 61 0 3 11 7 10.93/1.40 c 2051 3849 353080 5509337 62 0 3 3 1 10.93/1.41 c 2052 3854 353704 5525329 62 0 5 5 2 10.93/1.41 c 2053 3858 354642 5546576 62 0 4 4 2 10.93/1.41 c 2054 3861 355090 5558738 62 0 3 3 1 10.93/1.43 c 2055 3866 355714 5574727 62 0 5 5 2 10.93/1.43 c 2056 3870 356673 5596059 62 0 4 4 2 10.93/1.43 c 2057 3873 357107 5608188 62 0 3 3 1 10.93/1.44 c 2058 3878 357731 5624177 62 0 5 5 2 10.93/1.44 c 2059 3882 358690 5645509 62 0 4 4 2 10.93/1.44 c 2060 3885 359124 5657638 62 0 3 3 1 10.93/1.45 c 2061 3890 359748 5673627 62 0 5 5 2 10.93/1.45 c 2062 3894 360707 5694959 62 0 4 4 2 10.93/1.45 c 2063 3897 361141 5707088 62 0 3 3 1 10.93/1.46 c 2064 3902 361765 5723077 62 0 5 5 2 10.93/1.46 c 2122 4081 389333 5067825 62 0 2 19 4 10.93/1.46 c 2065 3906 362724 5744409 62 0 4 4 2 10.93/1.46 c 2066 3909 363158 5756538 62 0 3 3 1 10.93/1.47 c 2067 3914 363791 5772527 62 0 5 5 2 10.93/1.47 c 2068 3918 364759 5793858 62 0 4 4 2 10.93/1.47 c 2069 3921 365206 5806017 62 0 3 3 1 10.93/1.48 c 2070 3926 365826 5822005 62 0 5 5 2 10.93/1.48 c 2071 3930 366798 5843332 62 0 4 4 2 10.93/1.48 c First solution is found 10.93/1.48 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 6. 10.93/1.48 c [pFactory][Group N°0] Thread N°0 is joined. 10.93/1.48 c [pFactory][Group N°0] Thread N°1 is joined. 10.93/1.48 c [pFactory][Group N°0] Thread N°2 is joined. 10.93/1.48 c [pFactory][Group N°0] Thread N°3 is joined. 10.93/1.48 c [pFactory][Group N°0] Thread N°4 is joined. 10.93/1.48 c [pFactory][Group N°0] Thread N°5 is joined. 10.93/1.48 c [pFactory][Group N°0] Thread N°6 is joined. 10.93/1.48 c [pFactory][Group N°0] Thread N°7 is joined. 10.93/1.48 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°0) 10.93/1.48 s SATISFIABLE 10.93/1.48 c restarts : 128 10.93/1.48 c conflicts : 1776 (154 /sec) 10.93/1.48 c decisions : 3401 (295 /sec) 10.93/1.48 c propagations : 6248423 (541120 /sec) 10.93/1.48 c root propagations : 923 10.93/1.48 c filter calls : 342532 (29664 /sec) 10.93/1.48 c useless filter calls : 195263 (57 %) 10.93/1.48 c Memory used : 578.02 MB 10.93/1.48 c CPU time : 11.5471 s 10.93/1.48 c real time : 1.47814 s 10.93/1.48 10.93/1.48 c solution 1 10.93/1.48 10.93/1.48 v <instantiation type='solution'> 10.93/1.48 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] </list> 10.93/1.48 v <values>367 15 181 310 197 87 27 94 24 88 379 316 7 315 307 282 57 275 53 311 55 92 20 99 228 297 43 54 23 67 110 52 32 40 337 280 131 83 319 4 225 289 259 173 338 339 77 145 49 30 355 326 210 230 3 89 143 180 47 26 13 396 371 160 29 201 95 290 146 8 71 186 231 182 127 126 18 273 117 362 </values> 10.93/1.48 v </instantiation> 10.93/1.48
OK
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 (14275 MiB free) memory of node 1: 16384 MiB (14638 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397956-1568605538/watcher-4397956-1568605538 -o /tmp/evaluation-result-4397956-1568605538/solver-4397956-1568605538 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324111741-488 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397956-1568605538.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=2154, runsolver pid=2151 Current StackSize limit: 8192 KiB [startup+0.100487 s]* /proc/loadavg: 1.01 2.78 5.39 9/200 2163 /proc/meminfo: memFree=29594180/32770688 swapFree=66919992/67108860 [pid=2154] ppid=2151 vsize=624676 memory=17488 CPUtime=0.66 cores=0-7 /proc/2154/stat : 2154 (cosoco) S 2151 2154 460 0 -1 1077944320 3351 0 0 0 65 1 0 0 20 0 9 0 436560074 639668224 4372 33554432000 4194304 6211092 140729444438208 140729444436464 139973273661175 0 0 4096 8405026 18446744073709551615 0 0 17 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 /proc/2154/statm: 156169 4372 861 493 0 149474 0 [pid=2154/tid=2156] ppid=2151 vsize=624676 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/2154/task/2156/stat : 2156 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 8 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973250518416 5075208 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2157] ppid=2151 vsize=624676 memory=664954298467758088 CPUtime=0.08 cores=0-7 /proc/2154/task/2157/stat : 2157 (cosoco) R 2151 2154 460 0 -1 4202560 38 0 0 0 8 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973242125408 5017491 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2158] ppid=2151 vsize=624676 memory=140304581510784 CPUtime=0.08 cores=0-7 /proc/2154/task/2158/stat : 2158 (cosoco) R 2151 2154 460 0 -1 4202560 38 0 0 0 8 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973233732704 5075237 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2159] ppid=2151 vsize=624676 memory=0 CPUtime=0.08 cores=0-7 /proc/2154/task/2159/stat : 2159 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 8 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973225340000 5389823 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2160] ppid=2151 vsize=624676 memory=0 CPUtime=0.08 cores=0-7 /proc/2154/task/2160/stat : 2160 (cosoco) R 2151 2154 460 0 -1 4202560 43 0 0 0 8 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973216947296 5075234 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2161] ppid=2151 vsize=624676 memory=0 CPUtime=0.08 cores=0-7 /proc/2154/task/2161/stat : 2161 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 8 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973208554592 5082385 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2162] ppid=2151 vsize=624676 memory=-1 CPUtime=0.08 cores=0-7 /proc/2154/task/2162/stat : 2162 (cosoco) R 2151 2154 460 0 -1 4202560 42 0 0 0 8 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973200161888 5079039 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2163] ppid=2151 vsize=624676 memory=0 CPUtime=0.07 cores=0-7 /proc/2154/task/2163/stat : 2163 (cosoco) R 2151 2154 460 0 -1 4202560 50 0 0 0 7 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973191769184 5076301 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 Current children cumulated CPU time: 0.66 s Current children cumulated vsize: 624676 KiB Current children cumulated memory: 17488 KiB [startup+0.21149 s]* /proc/loadavg: 1.01 2.78 5.39 9/200 2163 /proc/meminfo: memFree=29594180/32770688 swapFree=66919992/67108860 [pid=2154] ppid=2151 vsize=624676 memory=17488 CPUtime=1.54 cores=0-7 /proc/2154/stat : 2154 (cosoco) S 2151 2154 460 0 -1 1077944320 3351 0 0 0 153 1 0 0 20 0 9 0 436560074 639668224 4372 33554432000 4194304 6211092 140729444438208 140729444436464 139973273661175 0 0 4096 8405026 18446744073709551615 0 0 17 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 /proc/2154/statm: 156169 4372 861 493 0 149474 0 [pid=2154/tid=2156] ppid=2151 vsize=624676 memory=8318255677412212789 CPUtime=0.19 cores=0-7 /proc/2154/task/2156/stat : 2156 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 19 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973250518112 5076376 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2157] ppid=2151 vsize=624676 memory=339 CPUtime=0.19 cores=0-7 /proc/2154/task/2157/stat : 2157 (cosoco) R 2151 2154 460 0 -1 4202560 38 0 0 0 19 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973242125408 5390449 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2158] ppid=2151 vsize=624676 memory=140304581523027 CPUtime=0.19 cores=0-7 /proc/2154/task/2158/stat : 2158 (cosoco) R 2151 2154 460 0 -1 4202560 38 0 0 0 19 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973233732704 5082419 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2159] ppid=2151 vsize=624676 memory=-1 CPUtime=0.19 cores=0-7 /proc/2154/task/2159/stat : 2159 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 19 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973225340000 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2160] ppid=2151 vsize=624676 memory=0 CPUtime=0.19 cores=0-7 /proc/2154/task/2160/stat : 2160 (cosoco) R 2151 2154 460 0 -1 4202560 43 0 0 0 19 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973216947296 5081341 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2161] ppid=2151 vsize=624676 memory=0 CPUtime=0.19 cores=0-7 /proc/2154/task/2161/stat : 2161 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 19 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973208554592 5075097 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2162] ppid=2151 vsize=624676 memory=-1 CPUtime=0.19 cores=0-7 /proc/2154/task/2162/stat : 2162 (cosoco) R 2151 2154 460 0 -1 4202560 42 0 0 0 19 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973200161888 5078848 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2163] ppid=2151 vsize=624676 memory=0 CPUtime=0.17 cores=0-7 /proc/2154/task/2163/stat : 2163 (cosoco) R 2151 2154 460 0 -1 4202560 50 0 0 0 17 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973191769184 5078762 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 Current children cumulated CPU time: 1.54 s Current children cumulated vsize: 624676 KiB Current children cumulated memory: 17488 KiB [startup+0.310491 s]* /proc/loadavg: 1.01 2.78 5.39 9/200 2163 /proc/meminfo: memFree=29594180/32770688 swapFree=66919992/67108860 [pid=2154] ppid=2151 vsize=624676 memory=17488 CPUtime=2.32 cores=0-7 /proc/2154/stat : 2154 (cosoco) S 2151 2154 460 0 -1 1077944320 3351 0 0 0 231 1 0 0 20 0 9 0 436560074 639668224 4372 33554432000 4194304 6211092 140729444438208 140729444436464 139973273661175 0 0 4096 8405026 18446744073709551615 0 0 17 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 /proc/2154/statm: 156169 4372 861 493 0 149474 0 [pid=2154/tid=2156] ppid=2151 vsize=624676 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/2154/task/2156/stat : 2156 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 29 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973250518112 5017679 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2157] ppid=2151 vsize=624676 memory=4872558044660077418 CPUtime=0.29 cores=0-7 /proc/2154/task/2157/stat : 2157 (cosoco) R 2151 2154 460 0 -1 4202560 38 0 0 0 29 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973242125408 5409364 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2158] ppid=2151 vsize=624676 memory=0 CPUtime=0.29 cores=0-7 /proc/2154/task/2158/stat : 2158 (cosoco) R 2151 2154 460 0 -1 4202560 38 0 0 0 29 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973233732704 5076437 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2159] ppid=2151 vsize=624676 memory=6944656592455097440 CPUtime=0.29 cores=0-7 /proc/2154/task/2159/stat : 2159 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 29 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973225340000 5017491 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2160] ppid=2151 vsize=624676 memory=6656426216303648864 CPUtime=0.28 cores=0-7 /proc/2154/task/2160/stat : 2160 (cosoco) R 2151 2154 460 0 -1 4202560 43 0 0 0 28 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973216947296 5017622 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2161] ppid=2151 vsize=624676 memory=0 CPUtime=0.29 cores=0-7 /proc/2154/task/2161/stat : 2161 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 29 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973208554592 5075568 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2162] ppid=2151 vsize=624676 memory=0 CPUtime=0.29 cores=0-7 /proc/2154/task/2162/stat : 2162 (cosoco) R 2151 2154 460 0 -1 4202560 42 0 0 0 29 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973200161888 5078762 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2163] ppid=2151 vsize=624676 memory=0 CPUtime=0.26 cores=0-7 /proc/2154/task/2163/stat : 2163 (cosoco) R 2151 2154 460 0 -1 4202560 50 0 0 0 26 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973191769184 5017491 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 Current children cumulated CPU time: 2.32 s Current children cumulated vsize: 624676 KiB Current children cumulated memory: 17488 KiB [startup+0.700488 s] /proc/loadavg: 1.01 2.78 5.39 10/200 2163 /proc/meminfo: memFree=29594180/32770688 swapFree=66919992/67108860 [pid=2154] ppid=2151 vsize=624676 memory=17488 CPUtime=5.34 cores=0-7 /proc/2154/stat : 2154 (cosoco) S 2151 2154 460 0 -1 1077944320 3351 0 0 0 533 1 0 0 20 0 9 0 436560074 639668224 4372 33554432000 4194304 6211092 140729444438208 140729444436464 139973273661175 0 0 4096 8405026 18446744073709551615 0 0 17 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 /proc/2154/statm: 156169 4372 861 493 0 149474 0 [pid=2154/tid=2156] ppid=2151 vsize=624676 memory=1556 CPUtime=0.67 cores=0-7 /proc/2154/task/2156/stat : 2156 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 67 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973250518112 5079360 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2157] ppid=2151 vsize=624676 memory=9588 CPUtime=0.67 cores=0-7 /proc/2154/task/2157/stat : 2157 (cosoco) R 2151 2154 460 0 -1 4202560 38 0 0 0 67 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973242125408 5017600 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2158] ppid=2151 vsize=624676 memory=1712 CPUtime=0.67 cores=0-7 /proc/2154/task/2158/stat : 2158 (cosoco) R 2151 2154 460 0 -1 4202560 38 0 0 0 67 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973233732704 5078861 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2159] ppid=2151 vsize=624676 memory=5996 CPUtime=0.67 cores=0-7 /proc/2154/task/2159/stat : 2159 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 67 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973225340000 5017491 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2160] ppid=2151 vsize=624676 memory=4156 CPUtime=0.67 cores=0-7 /proc/2154/task/2160/stat : 2160 (cosoco) R 2151 2154 460 0 -1 4202560 43 0 0 0 67 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973216947296 5186281 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2161] ppid=2151 vsize=624676 memory=4872558044660077418 CPUtime=0.66 cores=0-7 /proc/2154/task/2161/stat : 2161 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 66 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973208554592 5186269 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2162] ppid=2151 vsize=624676 memory=4104 CPUtime=0.67 cores=0-7 /proc/2154/task/2162/stat : 2162 (cosoco) R 2151 2154 460 0 -1 4202560 42 0 0 0 67 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973200161888 5017679 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2163] ppid=2151 vsize=624676 memory=1724 CPUtime=0.62 cores=0-7 /proc/2154/task/2163/stat : 2163 (cosoco) R 2151 2154 460 0 -1 4202560 50 0 0 0 62 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973191769184 5017440 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 Current children cumulated CPU time: 5.34 s Current children cumulated vsize: 624676 KiB Current children cumulated memory: 17488 KiB [startup+1.48321 s] # the end of solver process 2154 was just reported to runsolver # cumulated CPU time of all completed processes: user=11.5476 s, system=0.029985 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.801491 s] /proc/loadavg: 1.01 2.78 5.39 10/200 2163 /proc/meminfo: memFree=29594180/32770688 swapFree=66919992/67108860 [pid=2154] ppid=2151 vsize=624676 memory=17488 CPUtime=6.15 cores=0-7 /proc/2154/stat : 2154 (cosoco) S 2151 2154 460 0 -1 1077944320 3351 0 0 0 614 1 0 0 20 0 9 0 436560074 639668224 4372 33554432000 4194304 6211092 140729444438208 140729444436464 139973273661175 0 0 4096 8405026 18446744073709551615 0 0 17 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 /proc/2154/statm: 156169 4372 861 493 0 149474 0 [pid=2154/tid=2156] ppid=2151 vsize=624676 memory=0 CPUtime=0.77 cores=0-7 /proc/2154/task/2156/stat : 2156 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 77 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973250518112 5075208 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2157] ppid=2151 vsize=624676 memory=0 CPUtime=0.77 cores=0-7 /proc/2154/task/2157/stat : 2157 (cosoco) R 2151 2154 460 0 -1 4202560 38 0 0 0 77 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973242125408 5017664 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2158] ppid=2151 vsize=624676 memory=0 CPUtime=0.77 cores=0-7 /proc/2154/task/2158/stat : 2158 (cosoco) R 2151 2154 460 0 -1 4202560 38 0 0 0 77 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973233732704 5017466 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2159] ppid=2151 vsize=624676 memory=18571438592226 CPUtime=0.77 cores=0-7 /proc/2154/task/2159/stat : 2159 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 77 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973225340000 5186184 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2160] ppid=2151 vsize=624676 memory=-7452431979323206951 CPUtime=0.77 cores=0-7 /proc/2154/task/2160/stat : 2160 (cosoco) R 2151 2154 460 0 -1 4202560 43 0 0 0 77 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973216947296 5017569 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2161] ppid=2151 vsize=624676 memory=0 CPUtime=0.76 cores=0-7 /proc/2154/task/2161/stat : 2161 (cosoco) R 2151 2154 460 0 -1 4202560 41 0 0 0 76 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973208554592 5017664 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2162] ppid=2151 vsize=624676 memory=-2893623298589923098 CPUtime=0.77 cores=0-7 /proc/2154/task/2162/stat : 2162 (cosoco) R 2151 2154 460 0 -1 4202560 42 0 0 0 77 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973200161888 5078864 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2163] ppid=2151 vsize=624676 memory=4206186544037388384 CPUtime=0.72 cores=0-7 /proc/2154/task/2163/stat : 2163 (cosoco) R 2151 2154 460 0 -1 4202560 50 0 0 0 72 0 0 0 20 0 9 0 436560076 639668224 4372 33554432000 4194304 6211092 140729444438208 139973191769184 5017688 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 Current children cumulated CPU time: 6.15 s Current children cumulated vsize: 624676 KiB Current children cumulated memory: 17488 KiB [startup+1.20049 s] /proc/loadavg: 1.01 2.78 5.39 10/200 2163 /proc/meminfo: memFree=29593740/32770688 swapFree=66919992/67108860 [pid=2154] ppid=2151 vsize=624676 memory=18812 CPUtime=9.32 cores=0-7 /proc/2154/stat : 2154 (cosoco) S 2151 2154 460 0 -1 1077944320 5396 0 0 0 930 2 0 0 20 0 9 0 436560074 639668224 4703 33554432000 4194304 6211092 140729444438208 140729444436464 139973273661175 0 0 4096 8405026 18446744073709551615 0 0 17 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 /proc/2154/statm: 156169 4703 873 493 0 149474 0 [pid=2154/tid=2156] ppid=2151 vsize=624676 memory=7811603944289234021 CPUtime=1.17 cores=0-7 /proc/2154/task/2156/stat : 2156 (cosoco) R 2151 2154 460 0 -1 4202560 253 0 0 0 117 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973250518112 5017617 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2157] ppid=2151 vsize=624676 memory=-7035114785800479027 CPUtime=1.16 cores=0-7 /proc/2154/task/2157/stat : 2157 (cosoco) R 2151 2154 460 0 -1 4202560 219 0 0 0 116 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973242125408 5075312 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2158] ppid=2151 vsize=624676 memory=4210273049922073114 CPUtime=1.16 cores=0-7 /proc/2154/task/2158/stat : 2158 (cosoco) R 2151 2154 460 0 -1 4202560 250 0 0 0 116 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973233732704 5186176 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2159] ppid=2151 vsize=624676 memory=280608870412160 CPUtime=1.16 cores=0-7 /proc/2154/task/2159/stat : 2159 (cosoco) R 2151 2154 460 0 -1 4202560 331 0 0 0 116 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973225340000 5186199 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2160] ppid=2151 vsize=624676 memory=280608870412224 CPUtime=1.16 cores=0-7 /proc/2154/task/2160/stat : 2160 (cosoco) R 2151 2154 460 0 -1 4202560 303 0 0 0 116 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973216947296 5082784 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2161] ppid=2151 vsize=624676 memory=7881696724453321575 CPUtime=1.16 cores=0-7 /proc/2154/task/2161/stat : 2161 (cosoco) R 2151 2154 460 0 -1 4202560 362 0 0 0 116 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973208554592 5017617 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2162] ppid=2151 vsize=624676 memory=-7957962120134968749 CPUtime=1.17 cores=0-7 /proc/2154/task/2162/stat : 2162 (cosoco) R 2151 2154 460 0 -1 4202560 357 0 0 0 117 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973200161888 5078765 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2163] ppid=2151 vsize=624676 memory=0 CPUtime=1.1 cores=0-7 /proc/2154/task/2163/stat : 2163 (cosoco) R 2151 2154 460 0 -1 4202560 304 0 0 0 110 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973191769184 5074526 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 Current children cumulated CPU time: 9.32 s Current children cumulated vsize: 624676 KiB Current children cumulated memory: 18812 KiB [startup+1.40249 s] /proc/loadavg: 1.01 2.78 5.39 10/200 2163 /proc/meminfo: memFree=29593740/32770688 swapFree=66919992/67108860 [pid=2154] ppid=2151 vsize=624676 memory=18812 CPUtime=10.93 cores=0-7 /proc/2154/stat : 2154 (cosoco) S 2151 2154 460 0 -1 1077944320 5409 0 0 0 1091 2 0 0 20 0 9 0 436560074 639668224 4703 33554432000 4194304 6211092 140729444438208 140729444436464 139973273661175 0 0 4096 8405026 18446744073709551615 0 0 17 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 /proc/2154/statm: 156169 4703 873 493 0 149474 0 [pid=2154/tid=2156] ppid=2151 vsize=624676 memory=14415912522483219 CPUtime=1.37 cores=0-7 /proc/2154/task/2156/stat : 2156 (cosoco) R 2151 2154 460 0 -1 4202560 254 0 0 0 137 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973250518112 5017604 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2157] ppid=2151 vsize=624676 memory=8836 CPUtime=1.36 cores=0-7 /proc/2154/task/2157/stat : 2157 (cosoco) R 2151 2154 460 0 -1 4202560 226 0 0 0 136 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973242125408 5017573 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2158] ppid=2151 vsize=624676 memory=11044 CPUtime=1.37 cores=0-7 /proc/2154/task/2158/stat : 2158 (cosoco) R 2151 2154 460 0 -1 4202560 250 0 0 0 137 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973233732704 5017617 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2159] ppid=2151 vsize=624676 memory=13252 CPUtime=1.36 cores=0-7 /proc/2154/task/2159/stat : 2159 (cosoco) R 2151 2154 460 0 -1 4202560 331 0 0 0 136 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973225340000 5017664 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2160] ppid=2151 vsize=624676 memory=15460 CPUtime=1.37 cores=0-7 /proc/2154/task/2160/stat : 2160 (cosoco) R 2151 2154 460 0 -1 4202560 305 0 0 0 137 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973216947296 5017679 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2161] ppid=2151 vsize=624676 memory=17668 CPUtime=1.36 cores=0-7 /proc/2154/task/2161/stat : 2161 (cosoco) R 2151 2154 460 0 -1 4202560 362 0 0 0 136 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973208554592 5017679 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2162] ppid=2151 vsize=624676 memory=17732 CPUtime=1.37 cores=0-7 /proc/2154/task/2162/stat : 2162 (cosoco) R 2151 2154 460 0 -1 4202560 360 0 0 0 137 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973200161888 5079049 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 [pid=2154/tid=2163] ppid=2151 vsize=624676 memory=8443538352883892301 CPUtime=1.3 cores=0-7 /proc/2154/task/2163/stat : 2163 (cosoco) R 2151 2154 460 0 -1 4202560 304 0 0 0 130 0 0 0 20 0 9 0 436560076 639668224 4703 33554432000 4194304 6211092 140729444438208 139973191769184 5390011 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21536768 140729444443153 140729444443245 140729444443245 140729444446158 0 Current children cumulated CPU time: 10.93 s Current children cumulated vsize: 624676 KiB Current children cumulated memory: 18812 KiB Child status: 0 Real time (s): 1.48324 CPU time (s): 11.5776 CPU user time (s): 11.5476 CPU system time (s): 0.029985 CPU usage (%): 780.557 Max. virtual memory (cumulated for all children) (KiB): 624676 Max. memory (cumulated for all children) (KiB): 18812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.5476 system time used= 0.029985 maximum resident set size= 18816 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5477 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46 involuntary context switches= 292 # summary of solver processes directly reported to runsolver: # pid: 2154 # total CPU time (s): 11.5776 # total CPU user time (s): 11.5476 # total CPU system time (s): 0.029985 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.047146 second user time and 0.047146 second system time The end
Begin job on node120 at 2011-12-17 12:06:00 IDJOB=4397956 IDBENCH=131036 IDSOLVER=2851 FILE ID=node120/4397956-1568605538 RUNJOBID= node120-1324111741-488 PBS_JOBID= 21703407 Free space on /tmp= 61656 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si2-rand/Subisomorphism-si2-r001-m400-05.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397956-1568605538/watcher-4397956-1568605538 -o /tmp/evaluation-result-4397956-1568605538/solver-4397956-1568605538 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324111741-488 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4397956-1568605538.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 5f006248f7b4f652f1c0eb398f87a4da RANDOM SEED=1781612868 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: 29608804 kB MemAvailable: 31825952 kB Buffers: 160260 kB Cached: 2361268 kB SwapCached: 77548 kB Active: 1340436 kB Inactive: 1262856 kB Active(anon): 2532 kB Inactive(anon): 128860 kB Active(file): 1337904 kB Inactive(file): 1133996 kB Unevictable: 107500 kB Mlocked: 107500 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 2760 kB Writeback: 36 kB AnonPages: 162312 kB Mapped: 51680 kB Shmem: 41008 kB Slab: 150640 kB SReclaimable: 122164 kB SUnreclaim: 28476 kB KernelStack: 3552 kB PageTables: 5640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 515052 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 116736 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= 61652 MiB End job on node120 at 2011-12-17 12:06:02