| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | UNSAT | 1037.64 | 169.523 |
| Name | Random/Random-m1-5-12-12t/ rand-5-12-12-200-t85-6.xml |
| MD5SUM | 28aba8525a2c57af7de5748c3b9cdf6b |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 14.7938 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 12 |
| Number of constraints | 200 |
| Number of domains | 1 |
| Minimum domain size | 12 |
| Maximum domain size | 12 |
| Distribution of domain sizes | [{"size":12,"count":12}] |
| Minimum variable degree | 72 |
| Maximum variable degree | 102 |
| Distribution of variable degrees | [{"degree":72,"count":1},{"degree":76,"count":2},{"degree":79,"count":1},{"degree":82,"count":2},{"degree":83,"count":1},{"degree":85,"count":1},{"degree":86,"count":1},{"degree":88,"count":1},{"degree":89,"count":1},{"degree":102,"count":1}] |
| Minimum constraint arity | 5 |
| Maximum constraint arity | 5 |
| Distribution of constraint arities | [{"arity":5,"count":200}] |
| Number of extensional constraints | 200 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":200}] |
| Optimization problem | NO |
| Type of objective |
46.92/45.21 c root propagations : 0 46.92/45.21 c restarts enabled, print stats at every restarts 46.92/45.21 c 46.92/45.21 c 46.92/45.21 c 46.92/45.21 c This is cosoco 2.00 -- 46.92/45.21 c 46.92/45.21 c command line: cosoco -model -nbcores=8 HOME/instance-4409327-1569819413.xml 46.92/45.21 c ========================================[ Problem Statistics ]=========================================== 46.92/45.21 c | 46.92/45.21 c | Parse time : 43.90 s 46.92/45.21 c | 46.92/45.21 c | Variables: 12 46.92/45.21 c | Domain Sizes: 12..12 46.92/45.21 c | 46.92/45.21 c | Constraints: 200 46.92/45.21 c | Arity: 5..5 46.92/45.21 c | 46.92/45.21 c | Types: 46.92/45.21 c | Extension: 200 (nb tuples: 37324..37324) -- (shared: 0) 46.92/45.21 c | 46.92/45.21 c ========================================================================================================= 46.92/45.21 c Parallel mode: Portfolio 46.92/45.21 c [pFactory][Group N°0] created (threads:8). 46.92/45.21 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 46.92/45.21 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 46.92/45.21 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 46.92/45.21 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 46.92/45.21 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 46.92/45.21 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 46.92/45.21 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 46.92/45.21 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 46.92/45.21 c [pFactory][Group N°0] concurrent mode: enabled. 46.92/45.21 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 46.92/45.21 c [pFactory][Group N°0] task 7 launched on thread 7. 46.92/45.21 c [pFactory][Group N°0] task 6 launched on thread 0. 46.92/45.21 c [pFactory][Group N°0] task 5 launched on thread 1. 46.92/45.21 c [pFactory][Group N°0] task 4 launched on thread 2. 46.92/45.21 c [pFactory][Group N°0] task 3 launched on thread 3. 46.92/45.21 c [pFactory][Group N°0] task 2 launched on thread 4. 46.92/45.21 c [pFactory][Group N°0] task 1 launched on thread 5. 46.92/45.21 c [pFactory][Group N°0] task 0 launched on thread 6. 46.92/45.21 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 46.92/45.21 c root propagations : 0 46.92/45.21 c restarts enabled, print stats at every restarts 46.92/45.21 c 46.92/45.21 c 46.92/45.21 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 46.92/45.22 c root propagations : 0 46.92/45.22 c restarts enabled, print stats at every restarts 46.92/45.22 c 46.92/45.22 c 46.92/45.22 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 46.92/45.23 c root propagations : 0 46.92/45.23 c restarts enabled, print stats at every restarts 46.92/45.23 c 46.92/45.23 c 46.92/45.23 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 50.91/45.71 c root propagations : 0 50.91/45.71 c restarts enabled, print stats at every restarts 50.91/45.71 c 50.91/45.71 c 50.91/45.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 50.91/45.71 c root propagations : 0 50.91/45.71 c restarts enabled, print stats at every restarts 50.91/45.71 c 50.91/45.71 c 50.91/45.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 50.91/45.73 c root propagations : 0 50.91/45.73 c restarts enabled, print stats at every restarts 50.91/45.73 c 50.91/45.73 c 50.91/45.73 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 50.91/45.73 c root propagations : 0 50.91/45.73 c restarts enabled, print stats at every restarts 50.91/45.73 c 50.91/45.73 c 50.91/45.73 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 78.82/49.27 c 32 42 11609 2878 0 0 3 4 3 79.62/49.32 c 32 47 14293 2424 0 0 3 4 3 82.01/49.65 c 33 50 14712 2501 0 0 3 3 1 82.01/49.68 c 33 46 12421 2949 0 0 4 4 2 85.27/50.04 c 32 43 13028 2748 0 0 3 4 3 88.41/50.47 c 32 37 10719 2863 0 0 3 4 2 89.21/50.50 c 33 46 14045 2844 0 0 3 3 1 91.60/50.84 c 33 40 11185 2948 0 0 3 3 1 101.25/52.04 c 64 81 19164 5083 0 0 3 3 2 104.37/52.44 c 65 84 19650 5183 0 0 3 3 1 107.57/52.82 c 66 87 20157 5283 0 0 3 3 1 110.04/53.16 c 67 90 20643 5383 0 0 3 3 1 117.22/54.10 c 64 85 25047 5163 0 0 3 3 2 120.34/54.43 c 65 88 25466 5240 0 0 3 3 1 122.74/54.77 c 66 91 25885 5317 0 0 3 3 1 125.21/55.10 c 67 94 26304 5394 0 0 3 3 1 132.32/55.91 c 64 82 25538 5629 0 0 3 4 2 133.99/56.12 c 64 82 27528 5532 0 0 3 4 3 135.50/56.36 c 65 85 26285 5712 0 0 3 3 1 137.10/56.54 c 65 85 27967 5605 0 0 3 3 1 138.70/56.79 c 66 88 27302 5808 0 0 3 3 1 140.30/56.94 c 66 88 28412 5678 0 0 3 3 1 142.69/57.23 c 67 91 28317 5904 0 0 3 3 1 143.49/57.31 c 67 91 28851 5751 0 0 3 3 1 143.49/57.32 c 101 112 24390 8682 0 0 3 4 3 143.49/57.33 c 101 112 23594 8821 0 0 3 3 2 156.28/58.99 c 128 158 35015 10507 0 0 3 3 2 159.46/59.38 c 129 161 35501 10607 0 0 3 3 1 161.85/59.67 c 101 121 35084 8138 0 0 3 4 3 163.45/59.85 c 130 164 35994 10707 0 0 3 3 1 166.64/60.25 c 131 167 36480 10807 0 0 3 3 1 170.64/60.73 c 132 170 36973 10907 0 0 3 3 1 170.64/60.77 c 101 115 26968 9062 0 0 3 4 3 173.91/61.12 c 133 173 37459 11007 0 0 3 3 1 177.03/61.59 c 134 176 37952 11107 0 0 3 3 1 180.23/61.98 c 135 179 38438 11207 0 0 3 3 1 205.04/65.07 c 128 163 47926 10747 0 0 3 4 2 208.16/65.42 c 129 166 48345 10824 0 0 3 3 1 210.56/65.79 c 130 169 48764 10901 0 0 3 3 1 213.83/66.13 c 131 172 49183 10978 0 0 3 3 1 216.15/66.49 c 132 175 49602 11055 0 0 3 3 1 219.34/66.83 c 133 178 50021 11132 0 0 3 3 1 222.52/67.21 c 134 181 50440 11209 0 0 3 3 1 224.92/67.54 c 135 184 50859 11286 0 0 3 3 1 232.11/68.47 c 128 162 51586 11372 0 0 3 4 2 235.30/68.89 c 129 165 52025 11445 0 0 3 3 1 236.97/69.01 c 128 160 50668 11544 0 0 3 4 2 237.78/69.19 c 211 234 54148 18246 0 0 3 4 2 239.30/69.33 c 130 168 52470 11518 0 0 3 3 1 240.90/69.51 c 129 163 51683 11640 0 0 3 3 1 242.49/69.74 c 131 171 52909 11591 0 0 3 3 1 244.10/70.00 c 130 166 52700 11736 0 0 3 3 1 245.76/70.18 c 132 174 53354 11664 0 0 3 3 1 248.07/70.49 c 131 169 53715 11832 0 0 3 3 1 249.67/70.60 c 133 177 53793 11737 0 0 3 3 1 252.09/70.98 c 132 172 54732 11928 0 0 3 3 1 252.94/71.03 c 134 180 54238 11810 0 0 3 3 1 256.06/71.45 c 135 183 54677 11883 0 0 3 3 1 256.06/71.47 c 133 175 55747 12024 0 0 3 3 1 260.06/71.97 c 134 178 56764 12120 0 0 3 3 1 264.05/72.45 c 135 181 57779 12216 0 0 3 3 1 273.63/73.60 c 211 233 54626 18200 0 0 3 3 2 276.89/74.08 c 256 312 67572 21232 0 0 3 3 2 278.42/74.24 c 211 242 59445 17744 0 0 3 3 2 280.82/74.50 c 257 315 68058 21332 0 0 3 3 1 284.01/74.98 c 258 318 68551 21432 0 0 3 3 1 287.20/75.40 c 259 321 69037 21532 0 0 3 3 1 291.19/75.88 c 260 324 69530 21632 0 0 3 3 1 294.39/76.29 c 261 327 70016 21732 0 0 3 3 1 298.38/76.77 c 262 330 70509 21832 0 0 3 3 1 301.64/77.18 c 263 333 70995 21932 0 0 3 3 1 301.64/77.18 c 211 236 55329 18354 0 0 3 3 2 305.56/77.67 c 264 336 71488 22032 0 0 3 3 1 308.82/78.07 c 265 339 71974 22132 0 0 3 3 1 312.74/78.56 c 266 342 72467 22232 0 0 3 3 1 315.95/78.96 c 267 345 72953 22332 0 0 3 3 1 319.93/79.44 c 268 348 73446 22432 0 0 3 3 1 323.13/79.83 c 269 351 73932 22532 0 0 3 3 1 327.12/80.31 c 270 354 74425 22632 0 0 3 3 1 330.32/80.70 c 271 357 74911 22732 0 0 3 3 1 371.04/85.87 c 332 368 85104 28922 0 0 3 4 2 386.20/87.77 c 256 325 96856 22199 0 0 3 4 3 389.46/88.15 c 257 328 97275 22276 0 0 3 3 1 392.58/88.54 c 258 331 97694 22353 0 0 3 3 1 394.98/88.88 c 332 375 83716 28015 0 0 3 3 2 395.78/88.91 c 259 334 98113 22430 0 0 3 3 1 398.95/89.30 c 260 337 98532 22507 0 0 3 3 1 401.35/89.66 c 261 340 98951 22584 0 0 3 3 1 404.61/90.05 c 262 343 99370 22661 0 0 3 3 1 407.74/90.41 c 263 346 99789 22738 0 0 3 3 1 410.94/90.80 c 264 349 100208 22815 0 0 3 3 1 413.40/91.16 c 265 352 100627 22892 0 0 3 3 1 416.52/91.55 c 266 355 101046 22969 0 0 3 3 1 419.72/91.91 c 267 358 101465 23046 0 0 3 3 1 422.11/92.28 c 332 366 86783 28630 0 0 3 3 2 422.91/92.31 c 268 361 101864 23113 0 0 3 3 1 425.30/92.65 c 269 364 102237 23180 0 0 3 3 1 428.56/93.06 c 270 367 102636 23247 0 0 3 3 1 430.89/93.39 c 271 370 103009 23314 0 0 3 3 1 434.09/93.80 c 256 323 102407 23122 0 0 3 4 3 438.08/94.23 c 257 326 102846 23195 0 0 3 3 1 441.28/94.68 c 258 329 103291 23268 0 0 3 3 1 444.52/95.10 c 259 332 103730 23341 0 0 3 3 1 448.45/95.55 c 260 335 104175 23414 0 0 3 3 1 449.25/95.69 c 256 315 102269 23198 0 0 3 4 2 451.65/95.97 c 261 338 104614 23487 0 0 3 3 1 454.04/96.22 c 257 318 103284 23294 0 0 3 3 1 455.64/96.41 c 262 341 105059 23560 0 0 3 3 1 458.04/96.73 c 258 321 104301 23390 0 0 3 3 1 458.84/96.84 c 263 344 105498 23633 0 0 3 3 1 459.64/96.94 c 332 369 86567 28887 0 0 3 3 2 462.02/97.23 c 259 324 105316 23486 0 0 3 3 1 462.02/97.29 c 264 347 105943 23706 0 0 3 3 1 466.01/97.71 c 265 350 106382 23779 0 0 3 3 1 466.01/97.75 c 260 327 106333 23582 0 0 3 3 1 469.29/98.16 c 266 353 106827 23852 0 0 3 3 1 470.01/98.25 c 261 330 107348 23678 0 0 3 3 1 472.40/98.58 c 267 356 107266 23925 0 0 3 3 1 474.00/98.77 c 262 333 108365 23774 0 0 3 3 1 476.46/99.03 c 268 359 107711 23998 0 0 3 3 1 477.99/99.27 c 263 336 109380 23870 0 0 3 3 1 479.58/99.45 c 269 362 108150 24071 0 0 3 3 1 481.99/99.78 c 264 339 110397 23966 0 0 3 3 1 485.26/100.11 c 270 365 108683 24148 1 0 3 3 1 487.57/100.47 c 265 342 111500 24062 1 0 3 3 1 488.37/100.53 c 271 368 109122 24224 1 0 3 3 1 491.57/100.98 c 266 345 112517 24157 1 0 3 3 1 494.76/101.31 c 267 348 112825 24248 1 0 3 3 1 497.16/101.64 c 268 351 113131 24338 1 0 3 3 1 499.55/101.97 c 269 354 113439 24429 1 0 3 3 1 502.74/102.32 c 270 357 113745 24519 1 0 3 3 1 506.74/102.82 c 271 360 114760 24614 1 0 3 3 1 525.90/105.21 c 465 517 118157 40580 2 0 3 4 2 559.42/109.45 c 465 523 119297 39377 3 0 3 3 2 579.39/111.90 c 512 623 126143 43782 1 0 3 3 2 584.97/112.61 c 513 626 126712 43875 3 0 3 3 1 587.38/112.99 c 514 629 127073 43956 3 0 3 3 1 590.57/113.38 c 515 632 127490 44047 3 0 3 3 1 595.36/113.98 c 465 514 123578 40127 3 0 3 3 2 595.36/113.99 c 516 635 127963 44142 3 0 3 3 1 598.55/114.37 c 517 638 128380 44233 3 0 3 3 1 601.74/114.79 c 518 641 128765 44327 3 0 3 3 1 605.01/115.18 c 519 644 129182 44418 3 0 3 3 1 608.92/115.60 c 520 647 129567 44512 3 0 3 3 1 611.32/115.98 c 521 650 129984 44603 3 0 3 3 1 615.32/116.40 c 522 653 130369 44697 3 0 3 3 1 617.71/116.79 c 523 656 130786 44788 3 0 3 3 1 621.70/117.21 c 524 659 131171 44882 3 0 3 3 1 624.10/117.59 c 525 662 131588 44973 3 0 3 3 1 628.16/118.01 c 526 665 131973 45067 3 0 3 3 1 631.29/118.40 c 527 668 132390 45158 3 0 3 3 1 635.27/118.92 c 528 671 132801 45224 3 0 3 3 1 636.94/119.18 c 465 517 121244 40265 3 0 3 3 2 637.66/119.28 c 529 674 133162 45289 3 0 3 3 1 640.06/119.57 c 530 677 133471 45354 3 0 3 3 1 643.26/119.93 c 531 680 133832 45419 3 0 3 3 1 646.44/120.39 c 532 683 134217 45484 4 0 3 3 1 649.64/120.74 c 533 686 134578 45548 4 0 3 3 1 653.63/121.23 c 534 689 134976 45613 5 0 3 3 1 656.03/121.57 c 535 692 135337 45677 5 0 3 3 1 658.43/121.86 c 536 695 135646 45741 5 0 3 3 1 661.61/122.20 c 537 698 136007 45805 5 0 3 3 1 663.21/122.49 c 538 701 136316 45869 5 0 3 3 1 666.42/122.83 c 539 704 136677 45933 5 0 3 3 1 668.88/123.12 c 540 707 136986 45997 5 0 3 3 1 671.20/123.47 c 541 710 137347 46061 5 0 3 3 1 673.60/123.75 c 542 713 137656 46125 5 0 3 3 1 676.06/124.09 c 543 716 138017 46189 5 0 3 3 1 679.19/124.46 c 611 679 151636 53509 5 0 3 3 2 764.67/135.13 c 611 687 160725 51337 6 0 3 4 2 770.20/135.87 c 512 676 218692 45016 4 0 3 4 3 776.58/136.64 c 513 679 219432 45081 6 0 3 3 1 779.84/137.01 c 514 682 219952 45140 6 0 3 3 1 782.97/137.40 c 515 685 220498 45199 6 0 3 3 1 785.37/137.76 c 516 688 221018 45258 6 0 3 3 1 788.63/138.12 c 611 678 164499 52077 6 0 3 4 2 788.63/138.15 c 517 691 221564 45317 6 0 3 3 1 791.75/138.56 c 518 694 222025 45393 6 0 3 3 1 794.15/138.88 c 519 697 222424 45468 6 0 3 3 1 796.62/139.16 c 520 700 222803 45543 6 0 3 3 1 798.93/139.48 c 521 703 223202 45618 6 0 3 3 1 801.33/139.77 c 522 706 223581 45693 6 0 3 3 1 802.12/139.81 c 512 649 193859 46200 6 0 3 4 3 803.79/140.09 c 523 709 223980 45768 6 0 3 3 1 803.79/140.10 c 513 652 194212 46274 6 0 3 3 1 806.11/140.37 c 524 712 224359 45843 6 0 3 3 1 806.11/140.37 c 514 655 194535 46366 6 0 3 3 1 808.51/140.65 c 515 658 194888 46440 6 0 3 3 1 808.51/140.69 c 525 715 224758 45918 6 0 3 3 1 810.91/140.92 c 516 661 195211 46532 6 0 3 3 1 810.91/140.97 c 526 718 225137 45993 6 0 3 3 1 812.58/141.19 c 517 664 195564 46606 6 0 3 3 1 813.30/141.29 c 527 721 225536 46068 6 0 3 3 1 814.90/141.47 c 518 667 195887 46698 6 0 3 3 1 815.70/141.57 c 528 724 225915 46143 6 0 3 3 1 817.29/141.75 c 519 670 196240 46772 6 0 3 3 1 818.09/141.89 c 529 727 226314 46218 6 0 3 3 1 818.89/141.96 c 611 682 159256 52429 6 0 3 3 2 819.75/142.02 c 520 673 196563 46864 6 0 3 3 1 819.75/142.05 c 771 860 191955 67656 6 0 3 4 2 820.56/142.17 c 530 730 226693 46293 6 0 3 3 1 822.08/142.30 c 521 676 196892 46957 6 0 3 3 1 824.48/142.63 c 531 733 227194 46369 6 0 3 3 1 825.28/142.77 c 522 679 197383 47047 6 0 3 3 1 826.88/142.90 c 532 736 227573 46444 6 0 3 3 1 827.74/143.04 c 523 682 197752 47136 6 0 3 3 1 829.27/143.20 c 533 739 227972 46519 6 0 3 3 1 830.06/143.34 c 524 685 198141 47225 6 0 3 3 1 830.86/143.47 c 534 742 228351 46594 6 0 3 3 1 832.46/143.61 c 525 688 198510 47314 6 0 3 3 1 833.26/143.77 c 535 745 228750 46669 6 0 3 3 1 834.86/143.92 c 526 691 198899 47403 6 0 3 3 1 835.72/144.04 c 536 748 229129 46744 6 0 3 3 1 836.53/144.19 c 527 694 199268 47492 6 0 3 3 1 838.06/144.34 c 537 751 229528 46819 6 0 3 3 1 839.65/144.50 c 528 697 199657 47581 6 0 3 3 1 840.45/144.61 c 538 754 229907 46894 6 0 3 3 1 841.25/144.77 c 529 700 200026 47670 6 0 3 3 1 842.84/144.91 c 539 757 230306 46969 6 0 3 3 1 843.74/145.08 c 530 703 200415 47759 6 0 3 3 1 844.51/145.18 c 540 760 230685 47044 6 0 3 3 1 846.03/145.35 c 531 706 200784 47848 6 0 3 3 1 846.83/145.47 c 512 634 201983 46039 5 0 2 4 3 846.83/145.48 c 541 763 231084 47119 6 0 3 3 1 848.43/145.65 c 532 709 201173 47937 6 0 3 3 1 849.23/145.75 c 542 766 231463 47194 6 0 3 3 1 850.82/145.92 c 533 712 201542 48026 6 0 3 3 1 851.68/146.05 c 543 769 231862 47269 6 0 3 3 1 851.68/146.07 c 513 637 202472 46133 6 0 3 3 1 853.22/146.23 c 534 715 201931 48115 6 0 3 3 1 854.02/146.36 c 514 640 202871 46208 6 0 3 3 1 855.62/146.50 c 535 718 202300 48204 6 0 3 3 1 856.42/146.63 c 515 643 203250 46283 6 0 3 3 1 858.02/146.80 c 536 721 202689 48293 6 0 3 3 1 858.82/146.92 c 516 646 203649 46358 6 0 3 3 1 861.21/147.24 c 537 724 203205 48375 6 0 3 3 1 862.01/147.34 c 517 649 204173 46438 6 0 3 3 1 863.60/147.53 c 538 727 203594 48464 6 0 3 3 1 864.40/147.66 c 518 652 204618 46525 6 0 3 3 1 866.00/147.85 c 539 730 204028 48545 6 0 3 3 1 866.80/147.96 c 519 655 205060 46604 6 0 3 3 1 868.47/148.15 c 540 733 204417 48634 6 0 3 3 1 869.19/148.29 c 520 658 205505 46691 6 0 3 3 1 870.79/148.47 c 541 736 204851 48715 6 0 3 3 1 871.59/148.59 c 521 661 205947 46770 6 0 3 3 1 873.19/148.77 c 542 739 205240 48804 6 0 3 3 1 874.79/148.91 c 522 664 206392 46857 6 0 3 3 1 875.64/149.09 c 543 742 205674 48885 6 0 3 3 1 877.98/149.34 c 523 667 206922 46936 6 0 3 3 1 880.37/149.64 c 524 670 207367 47022 6 0 3 3 1 882.77/149.93 c 525 673 207809 47100 6 0 3 3 1 885.15/150.26 c 526 676 208254 47186 6 0 3 3 1 887.55/150.55 c 527 679 208696 47264 6 0 3 3 1 890.74/150.98 c 528 682 209243 47351 6 0 3 3 1 893.13/151.27 c 529 685 209685 47429 6 0 3 3 1 895.53/151.56 c 530 688 210130 47515 6 0 3 3 1 897.93/151.84 c 531 691 210572 47593 6 0 3 3 1 900.40/152.14 c 532 694 211017 47679 6 0 3 3 1 902.72/152.41 c 533 697 211459 47757 6 0 3 3 1 905.11/152.70 c 534 700 211904 47843 6 0 3 3 1 906.71/152.98 c 535 703 212346 47921 6 0 3 3 1 909.10/153.28 c 536 706 212791 48007 6 0 3 3 1 911.50/153.56 c 537 709 213233 48085 6 0 3 3 1 913.90/153.85 c 538 712 213678 48171 6 0 3 3 1 916.37/154.14 c 539 715 214120 48249 6 0 3 3 1 919.49/154.55 c 540 718 214635 48336 6 0 3 3 1 921.09/154.77 c 541 721 215018 48415 6 0 3 3 1 923.55/155.02 c 542 724 215389 48500 6 0 3 3 1 925.07/155.23 c 543 727 215772 48579 6 0 3 3 1 949.82/158.36 c 771 868 203200 64378 6 0 3 3 2 964.28/160.14 c 947 1059 240662 82305 6 0 3 3 2 964.99/160.26 c 771 860 207045 65019 6 0 3 3 2 1004.19/165.13 c 771 865 203023 65516 6 0 3 3 2 1006.51/165.50 c 1000 1122 256898 86635 6 0 3 3 2 1037.41/169.30 c [pFactory][Group N°0] concurent mode: thread 3 has won with the task 3. 1037.41/169.30 c [pFactory][Group N°0] Thread N°0 is joined. 1037.41/169.30 c [pFactory][Group N°0] Thread N°1 is joined. 1037.41/169.30 c [pFactory][Group N°0] Thread N°2 is joined. 1037.41/169.30 c [pFactory][Group N°0] Thread N°3 is joined. 1037.41/169.30 c [pFactory][Group N°0] Thread N°4 is joined. 1037.41/169.30 c [pFactory][Group N°0] Thread N°5 is joined. 1037.41/169.30 c [pFactory][Group N°0] Thread N°6 is joined. 1037.41/169.30 c [pFactory][Group N°0] Thread N°7 is joined. 1037.41/169.30 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°3) 1037.41/169.30 s UNSATISFIABLE 1037.41/169.30 c restarts : 62 1037.41/169.30 c conflicts : 980 (1 /sec) 1037.41/169.30 c decisions : 1222 (1 /sec) 1037.41/169.30 c propagations : 81733 (79 /sec) 1037.41/169.30 c root propagations : 0 1037.41/169.30 c filter calls : 248100 (241 /sec) 1037.41/169.30 c useless filter calls : 224009 (90 %) 1037.41/169.30 c Memory used : 4185.60 MB 1037.41/169.30 c CPU time : 1029.11 s 1037.41/169.30 c real time : 169.298 s 1037.41/169.30
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: 16374 MiB (15108 MiB free)
memory of node 1: 16384 MiB (15484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409327-1569819413/watcher-4409327-1569819413 -o /tmp/evaluation-result-4409327-1569819413/solver-4409327-1569819413 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409327-1569819413.xml
running on 8 cores: 0,2,4,6,1,3,5,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=14387, runsolver pid=14384
Current StackSize limit: 8192 KiB
[startup+0.100174 s]*
/proc/loadavg: 7.49 6.83 4.28 2/191 14388
/proc/meminfo: memFree=31325152/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=28712 memory=4760 CPUtime=0.1 cores=0-7
/proc/14387/stat : 14387 (cosoco) R 14384 14387 14101 0 -1 4202496 1512 0 0 0 10 0 0 0 20 0 1 0 557855176 29401088 1190 33554432000 4194304 6211132 140722610515872 140722610512408 139935886928869 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 7178 1190 803 493 0 483 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28712 KiB
Current children cumulated memory: 4760 KiB
[startup+0.209032 s]*
/proc/loadavg: 7.49 6.83 4.28 2/191 14388
/proc/meminfo: memFree=31314472/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=44472 memory=18328 CPUtime=0.2 cores=0-7
/proc/14387/stat : 14387 (cosoco) R 14384 14387 14101 0 -1 4202496 5118 0 0 0 20 0 0 0 20 0 1 0 557855176 45539328 4582 33554432000 4194304 6211132 140722610515872 140722610512408 5286958 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 11118 4582 809 493 0 4423 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44472 KiB
Current children cumulated memory: 18328 KiB
[startup+0.308482 s]*
/proc/loadavg: 7.49 6.83 4.28 2/191 14388
/proc/meminfo: memFree=31308520/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=46980 memory=21092 CPUtime=0.31 cores=0-7
/proc/14387/stat : 14387 (cosoco) R 14384 14387 14101 0 -1 4202496 5994 0 0 0 30 1 0 0 20 0 1 0 557855176 48107520 5273 33554432000 4194304 6211132 140722610515872 140722610512408 5484894 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 11745 5273 809 493 0 5050 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46980 KiB
Current children cumulated memory: 21092 KiB
[startup+0.700325 s]
/proc/loadavg: 7.49 6.83 4.28 2/191 14388
/proc/meminfo: memFree=31294012/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=80848 memory=49864 CPUtime=0.69 cores=0-7
/proc/14387/stat : 14387 (cosoco) R 14384 14387 14101 0 -1 4202496 13232 0 0 0 67 2 0 0 20 0 1 0 557855176 82788352 12466 33554432000 4194304 6211132 140722610515872 140722610513144 5818435 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 20212 12466 809 493 0 13517 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80848 KiB
Current children cumulated memory: 49864 KiB
[startup+1.50042 s]
/proc/loadavg: 7.49 6.83 4.28 2/191 14388
/proc/meminfo: memFree=31220864/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=130888 memory=92896 CPUtime=1.49 cores=0-7
/proc/14387/stat : 14387 (cosoco) R 14384 14387 14101 0 -1 4202496 23962 0 0 0 146 3 0 0 20 0 1 0 557855176 134029312 23224 33554432000 4194304 6211132 140722610515872 140722610513144 5743409 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 32722 23224 809 493 0 26027 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 130888 KiB
Current children cumulated memory: 92896 KiB
[startup+3.10908 s]
/proc/loadavg: 7.49 6.83 4.28 2/191 14388
/proc/meminfo: memFree=31138364/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=254648 memory=200700 CPUtime=3.1 cores=0-7
/proc/14387/stat : 14387 (cosoco) R 14384 14387 14101 0 -1 4202496 52123 0 0 0 304 6 0 0 20 0 1 0 557855176 260759552 50175 33554432000 4194304 6211132 140722610515872 140722610513144 139935886937996 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 63662 50175 809 493 0 56967 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 254648 KiB
Current children cumulated memory: 200700 KiB
[startup+6.30033 s]
/proc/loadavg: 6.89 6.72 4.26 2/190 14388
/proc/meminfo: memFree=30945764/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=485028 memory=401096 CPUtime=6.29 cores=0-7
/proc/14387/stat : 14387 (cosoco) R 14384 14387 14101 0 -1 4202496 103363 0 0 0 616 13 0 0 20 0 1 0 557855176 496668672 100274 33554432000 4194304 6211132 140722610515872 140722610513144 5816145 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 121257 100274 810 493 0 114562 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 485028 KiB
Current children cumulated memory: 401096 KiB
[startup+12.7003 s]
/proc/loadavg: 6.42 6.62 4.24 2/190 14388
/proc/meminfo: memFree=30566572/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=953876 memory=808220 CPUtime=12.69 cores=0-7
/proc/14387/stat : 14387 (cosoco) R 14384 14387 14101 0 -1 4202496 205522 0 0 0 1243 26 0 0 20 0 1 0 557855176 976769024 202055 33554432000 4194304 6211132 140722610515872 140722610513144 5707973 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 238469 202055 810 493 0 231774 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 953876 KiB
Current children cumulated memory: 808220 KiB
[startup+25.5003 s]
/proc/loadavg: 5.22 6.35 4.19 2/191 14389
/proc/meminfo: memFree=29742272/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=1875404 memory=1610312 CPUtime=25.48 cores=0-7
/proc/14387/stat : 14387 (cosoco) R 14384 14387 14101 0 -1 4202496 405642 0 0 0 2501 47 0 0 20 0 1 0 557855176 1920413696 402578 33554432000 4194304 6211132 140722610515872 140722610513144 5817926 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 468851 402578 810 493 0 462156 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 1875404 KiB
Current children cumulated memory: 1610312 KiB
[startup+51.1106 s]
/proc/loadavg: 4.34 6.04 4.14 9/199 14399
/proc/meminfo: memFree=28021084/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=4318832 memory=3298700 CPUtime=94.07 cores=0-7
/proc/14387/stat : 14387 (cosoco) S 14384 14387 14101 0 -1 1077944320 2927813 0 0 0 8873 534 0 0 20 0 9 0 557855176 4422483968 824675 33554432000 4194304 6211132 140722610515872 140722610514128 139935902969591 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 1079708 824675 860 493 0 1073013 0
[pid=14387/tid=14392] ppid=14384 vsize=4318832 memory=0 CPUtime=6.15 cores=0-7
/proc/14387/task/14392/stat : 14392 (cosoco) R 14384 14387 14101 0 -1 4202560 251303 0 0 0 600 15 0 0 20 0 9 0 557859670 4422483968 824675 33554432000 4194304 6211132 140722610515872 139935872990584 5038995 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14393] ppid=14384 vsize=4318832 memory=0 CPUtime=6.15 cores=0-7
/proc/14387/task/14393/stat : 14393 (cosoco) R 14384 14387 14101 0 -1 4202560 211478 0 0 0 604 11 0 0 20 0 9 0 557859670 4422483968 824675 33554432000 4194304 6211132 140722610515872 139935864597880 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14394] ppid=14384 vsize=4318832 memory=2020 CPUtime=6.06 cores=0-7
/proc/14387/task/14394/stat : 14394 (cosoco) R 14384 14387 14101 0 -1 4202560 240413 0 0 0 512 94 0 0 20 0 9 0 557859670 4422483968 824675 33554432000 4194304 6211132 140722610515872 139935856205176 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14395] ppid=14384 vsize=4318832 memory=292862143 CPUtime=6.16 cores=0-7
/proc/14387/task/14395/stat : 14395 (cosoco) R 14384 14387 14101 0 -1 4202560 258340 0 0 0 599 17 0 0 20 0 9 0 557859670 4422483968 824675 33554432000 4194304 6211132 140722610515872 139935847812192 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14396] ppid=14384 vsize=4318832 memory=593 CPUtime=6.16 cores=0-7
/proc/14387/task/14396/stat : 14396 (cosoco) R 14384 14387 14101 0 -1 4202560 239563 0 0 0 524 92 0 0 20 0 9 0 557859670 4422483968 824675 33554432000 4194304 6211132 140722610515872 139935839419488 5038987 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14397] ppid=14384 vsize=4318832 memory=593 CPUtime=6.14 cores=0-7
/proc/14387/task/14397/stat : 14397 (cosoco) R 14384 14387 14101 0 -1 4202560 275485 0 0 0 512 102 0 0 20 0 9 0 557859670 4422483968 824675 33554432000 4194304 6211132 140722610515872 139935831026784 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14398] ppid=14384 vsize=4318832 memory=139908425507097 CPUtime=6.14 cores=0-7
/proc/14387/task/14398/stat : 14398 (cosoco) R 14384 14387 14101 0 -1 4202560 228159 0 0 0 602 12 0 0 20 0 9 0 557859670 4422483968 824675 33554432000 4194304 6211132 140722610515872 139935822634080 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14399] ppid=14384 vsize=4318832 memory=5926860931742344327 CPUtime=6.14 cores=0-7
/proc/14387/task/14399/stat : 14399 (cosoco) R 14384 14387 14101 0 -1 4202560 192216 0 0 0 528 86 0 0 20 0 9 0 557859670 4422483968 824675 33554432000 4194304 6211132 140722610515872 139935814241656 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
Current children cumulated CPU time: 94.07 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3298700 KiB
[startup+102.301 s]
/proc/loadavg: 6.41 6.34 4.34 9/199 14402
/proc/meminfo: memFree=28006208/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=4318832 memory=3309444 CPUtime=502.74 cores=0-7
/proc/14387/stat : 14387 (cosoco) S 14384 14387 14101 0 -1 1077944320 6891012 0 0 0 49509 765 0 0 20 0 9 0 557855176 4422483968 827361 33554432000 4194304 6211132 140722610515872 140722610514128 139935902969591 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 1079708 827361 861 493 0 1073013 0
[pid=14387/tid=14392] ppid=14384 vsize=4318832 memory=1624304 CPUtime=57.32 cores=0-7
/proc/14387/task/14392/stat : 14392 (cosoco) R 14384 14387 14101 0 -1 4202560 743735 0 0 0 5691 41 0 0 20 0 9 0 557859670 4422483968 827361 33554432000 4194304 6211132 140722610515872 139935872990304 5037854 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14393] ppid=14384 vsize=4318832 memory=56 CPUtime=57.32 cores=0-7
/proc/14387/task/14393/stat : 14393 (cosoco) R 14384 14387 14101 0 -1 4202560 673354 0 0 0 5697 35 0 0 20 0 9 0 557859670 4422483968 827361 33554432000 4194304 6211132 140722610515872 139935864597600 5039536 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14394] ppid=14384 vsize=4318832 memory=5713 CPUtime=56.52 cores=0-7
/proc/14387/task/14394/stat : 14394 (cosoco) R 14384 14387 14101 0 -1 4202560 761308 0 0 0 5523 129 0 0 20 0 9 0 557859670 4422483968 827361 33554432000 4194304 6211132 140722610515872 139935856204896 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14395] ppid=14384 vsize=4318832 memory=3512 CPUtime=57.31 cores=0-7
/proc/14387/task/14395/stat : 14395 (cosoco) R 14384 14387 14101 0 -1 4202560 768850 0 0 0 5691 40 0 0 20 0 9 0 557859670 4422483968 827361 33554432000 4194304 6211132 140722610515872 139935847812192 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14396] ppid=14384 vsize=4318832 memory=3512 CPUtime=57.31 cores=0-7
/proc/14387/task/14396/stat : 14396 (cosoco) R 14384 14387 14101 0 -1 4202560 747797 0 0 0 5608 123 0 0 20 0 9 0 557859670 4422483968 827361 33554432000 4194304 6211132 140722610515872 139935839419488 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14397] ppid=14384 vsize=4318832 memory=10248 CPUtime=57.32 cores=0-7
/proc/14387/task/14397/stat : 14397 (cosoco) R 14384 14387 14101 0 -1 4202560 765226 0 0 0 5604 128 0 0 20 0 9 0 557859670 4422483968 827361 33554432000 4194304 6211132 140722610515872 139935831026784 5039014 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14398] ppid=14384 vsize=4318832 memory=3307240 CPUtime=57.33 cores=0-7
/proc/14387/task/14398/stat : 14398 (cosoco) R 14384 14387 14101 0 -1 4202560 738104 0 0 0 5695 38 0 0 20 0 9 0 557859670 4422483968 827361 33554432000 4194304 6211132 140722610515872 139935822634080 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14399] ppid=14384 vsize=4318832 memory=3512 CPUtime=57.32 cores=0-7
/proc/14387/task/14399/stat : 14399 (cosoco) R 14384 14387 14101 0 -1 4202560 661782 0 0 0 5607 125 0 0 20 0 9 0 557859670 4422483968 827361 33554432000 4194304 6211132 140722610515872 139935814241376 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
Current children cumulated CPU time: 502.74 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3309444 KiB
[startup+162.301 s]
/proc/loadavg: 7.46 6.66 4.58 9/199 14406
/proc/meminfo: memFree=27993144/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=4318832 memory=3322164 CPUtime=981.76 cores=0-7
/proc/14387/stat : 14387 (cosoco) S 14384 14387 14101 0 -1 1077944320 7962675 0 0 0 97352 824 0 0 20 0 9 0 557855176 4422483968 830541 33554432000 4194304 6211132 140722610515872 140722610514128 139935902969591 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 1079708 830541 861 493 0 1073013 0
[pid=14387/tid=14392] ppid=14384 vsize=4318832 memory=3322164 CPUtime=117.28 cores=0-7
/proc/14387/task/14392/stat : 14392 (cosoco) R 14384 14387 14101 0 -1 4202560 874675 0 0 0 11680 48 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935872990304 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14393] ppid=14384 vsize=4318832 memory=3320036 CPUtime=117.27 cores=0-7
/proc/14387/task/14393/stat : 14393 (cosoco) R 14384 14387 14101 0 -1 4202560 823850 0 0 0 11683 44 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935864597600 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14394] ppid=14384 vsize=4318832 memory=3512 CPUtime=115.98 cores=0-7
/proc/14387/task/14394/stat : 14394 (cosoco) R 14384 14387 14101 0 -1 4202560 888779 0 0 0 11463 135 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935856204896 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14395] ppid=14384 vsize=4318832 memory=3320036 CPUtime=117.31 cores=0-7
/proc/14387/task/14395/stat : 14395 (cosoco) R 14384 14387 14101 0 -1 4202560 900640 0 0 0 11684 47 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935847812192 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14396] ppid=14384 vsize=4318832 memory=3320036 CPUtime=116.99 cores=0-7
/proc/14387/task/14396/stat : 14396 (cosoco) R 14384 14387 14101 0 -1 4202560 877588 0 0 0 11569 130 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935839419488 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14397] ppid=14384 vsize=4318832 memory=3320036 CPUtime=117.31 cores=0-7
/proc/14387/task/14397/stat : 14397 (cosoco) R 14384 14387 14101 0 -1 4202560 899618 0 0 0 11593 138 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935831026784 5037825 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14398] ppid=14384 vsize=4318832 memory=3322164 CPUtime=117.32 cores=0-7
/proc/14387/task/14398/stat : 14398 (cosoco) R 14384 14387 14101 0 -1 4202560 869930 0 0 0 11687 45 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935822634080 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14399] ppid=14384 vsize=4318832 memory=3320036 CPUtime=117.31 cores=0-7
/proc/14387/task/14399/stat : 14399 (cosoco) R 14384 14387 14101 0 -1 4202560 796739 0 0 0 11599 132 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935814241376 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
Current children cumulated CPU time: 981.76 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3322164 KiB
[startup+169.523 s]
# the end of solver process 14387 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1029.11 s, system=8.53593 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.401 s]
/proc/loadavg: 7.50 6.68 4.60 9/199 14406
/proc/meminfo: memFree=27993020/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=4318832 memory=3322164 CPUtime=1014.49 cores=0-7
/proc/14387/stat : 14387 (cosoco) S 14384 14387 14101 0 -1 1077944320 8017954 0 0 0 100621 828 0 0 20 0 9 0 557855176 4422483968 830541 33554432000 4194304 6211132 140722610515872 140722610514128 139935902969591 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 1079708 830541 861 493 0 1073013 0
[pid=14387/tid=14392] ppid=14384 vsize=4318832 memory=1432 CPUtime=121.38 cores=0-7
/proc/14387/task/14392/stat : 14392 (cosoco) R 14384 14387 14101 0 -1 4202560 881715 0 0 0 12089 49 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935872990304 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14393] ppid=14384 vsize=4318832 memory=3320036 CPUtime=121.37 cores=0-7
/proc/14387/task/14393/stat : 14393 (cosoco) R 14384 14387 14101 0 -1 4202560 830735 0 0 0 12093 44 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935864597600 5037783 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14394] ppid=14384 vsize=4318832 memory=3320036 CPUtime=120.07 cores=0-7
/proc/14387/task/14394/stat : 14394 (cosoco) R 14384 14387 14101 0 -1 4202560 895454 0 0 0 11872 135 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935856204896 5038968 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14395] ppid=14384 vsize=4318832 memory=10218 CPUtime=121.4 cores=0-7
/proc/14387/task/14395/stat : 14395 (cosoco) R 14384 14387 14101 0 -1 4202560 907421 0 0 0 12093 47 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935847812192 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14396] ppid=14384 vsize=4318832 memory=10088 CPUtime=121.02 cores=0-7
/proc/14387/task/14396/stat : 14396 (cosoco) R 14384 14387 14101 0 -1 4202560 884253 0 0 0 11972 130 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935839419488 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14397] ppid=14384 vsize=4318832 memory=3512 CPUtime=121.41 cores=0-7
/proc/14387/task/14397/stat : 14397 (cosoco) R 14384 14387 14101 0 -1 4202560 906575 0 0 0 12003 138 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935831026784 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14398] ppid=14384 vsize=4318832 memory=10248 CPUtime=121.42 cores=0-7
/proc/14387/task/14398/stat : 14398 (cosoco) R 14384 14387 14101 0 -1 4202560 876998 0 0 0 12097 45 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935822634080 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14399] ppid=14384 vsize=4318832 memory=2020 CPUtime=121.41 cores=0-7
/proc/14387/task/14399/stat : 14399 (cosoco) R 14384 14387 14101 0 -1 4202560 803947 0 0 0 12008 133 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935814241376 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
Current children cumulated CPU time: 1014.49 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3322164 KiB
[startup+168.001 s]*
/proc/loadavg: 7.50 6.68 4.60 9/199 14406
/proc/meminfo: memFree=27993144/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=4318832 memory=3322164 CPUtime=1027.34 cores=0-7
/proc/14387/stat : 14387 (cosoco) S 14384 14387 14101 0 -1 1077944320 8072575 0 0 0 101903 831 0 0 20 0 9 0 557855176 4422483968 830541 33554432000 4194304 6211132 140722610515872 140722610514128 139935902969591 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 1079708 830541 861 493 0 1073013 0
[pid=14387/tid=14392] ppid=14384 vsize=4318832 memory=1398720917958146503 CPUtime=122.98 cores=0-7
/proc/14387/task/14392/stat : 14392 (cosoco) R 14384 14387 14101 0 -1 4202560 888539 0 0 0 12249 49 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935872990304 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14393] ppid=14384 vsize=4318832 memory=4126316290023845779 CPUtime=122.98 cores=0-7
/proc/14387/task/14393/stat : 14393 (cosoco) R 14384 14387 14101 0 -1 4202560 837419 0 0 0 12253 45 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935864597600 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14394] ppid=14384 vsize=4318832 memory=13848568834296438 CPUtime=121.68 cores=0-7
/proc/14387/task/14394/stat : 14394 (cosoco) R 14384 14387 14101 0 -1 4202560 902058 0 0 0 12033 135 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935856204896 5037823 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14395] ppid=14384 vsize=4318832 memory=916 CPUtime=123.02 cores=0-7
/proc/14387/task/14395/stat : 14395 (cosoco) R 14384 14387 14101 0 -1 4202560 914135 0 0 0 12254 48 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935847812192 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14396] ppid=14384 vsize=4318832 memory=4132 CPUtime=122.61 cores=0-7
/proc/14387/task/14396/stat : 14396 (cosoco) R 14384 14387 14101 0 -1 4202560 891241 0 0 0 12130 131 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935839419488 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14397] ppid=14384 vsize=4318832 memory=1404 CPUtime=123.02 cores=0-7
/proc/14387/task/14397/stat : 14397 (cosoco) R 14384 14387 14101 0 -1 4202560 913600 0 0 0 12164 138 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935831026784 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14398] ppid=14384 vsize=4318832 memory=2696 CPUtime=123.03 cores=0-7
/proc/14387/task/14398/stat : 14398 (cosoco) R 14384 14387 14101 0 -1 4202560 883904 0 0 0 12258 45 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935822634080 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14399] ppid=14384 vsize=4318832 memory=3322164 CPUtime=123.01 cores=0-7
/proc/14387/task/14399/stat : 14399 (cosoco) R 14384 14387 14101 0 -1 4202560 810823 0 0 0 12168 133 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935814241376 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
Current children cumulated CPU time: 1027.34 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3322164 KiB
[startup+168.801 s]
/proc/loadavg: 7.50 6.68 4.60 9/199 14406
/proc/meminfo: memFree=27993144/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=4318832 memory=3322164 CPUtime=1033.66 cores=0-7
/proc/14387/stat : 14387 (cosoco) S 14384 14387 14101 0 -1 1077944320 8073281 0 0 0 102535 831 0 0 20 0 9 0 557855176 4422483968 830541 33554432000 4194304 6211132 140722610515872 140722610514128 139935902969591 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 1079708 830541 861 493 0 1073013 0
[pid=14387/tid=14392] ppid=14384 vsize=4318832 memory=1716 CPUtime=123.78 cores=0-7
/proc/14387/task/14392/stat : 14392 (cosoco) R 14384 14387 14101 0 -1 4202560 888539 0 0 0 12329 49 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935872990304 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14393] ppid=14384 vsize=4318832 memory=6284 CPUtime=123.77 cores=0-7
/proc/14387/task/14393/stat : 14393 (cosoco) R 14384 14387 14101 0 -1 4202560 837582 0 0 0 12332 45 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935864597600 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14394] ppid=14384 vsize=4318832 memory=11624 CPUtime=122.48 cores=0-7
/proc/14387/task/14394/stat : 14394 (cosoco) R 14384 14387 14101 0 -1 4202560 902334 0 0 0 12112 136 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935856204896 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14395] ppid=14384 vsize=4318832 memory=3322164 CPUtime=123.81 cores=0-7
/proc/14387/task/14395/stat : 14395 (cosoco) R 14384 14387 14101 0 -1 4202560 914272 0 0 0 12333 48 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935847812192 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14396] ppid=14384 vsize=4318832 memory=3322164 CPUtime=123.4 cores=0-7
/proc/14387/task/14396/stat : 14396 (cosoco) R 14384 14387 14101 0 -1 4202560 891241 0 0 0 12209 131 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935839419488 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14397] ppid=14384 vsize=4318832 memory=10248 CPUtime=123.81 cores=0-7
/proc/14387/task/14397/stat : 14397 (cosoco) R 14384 14387 14101 0 -1 4202560 913730 0 0 0 12243 138 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935831026784 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14398] ppid=14384 vsize=4318832 memory=2020 CPUtime=123.82 cores=0-7
/proc/14387/task/14398/stat : 14398 (cosoco) R 14384 14387 14101 0 -1 4202560 883904 0 0 0 12337 45 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935822634080 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14399] ppid=14384 vsize=4318832 memory=988 CPUtime=123.81 cores=0-7
/proc/14387/task/14399/stat : 14399 (cosoco) R 14384 14387 14101 0 -1 4202560 810823 0 0 0 12248 133 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935814241376 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
Current children cumulated CPU time: 1033.66 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3322164 KiB
[startup+169.201 s]
/proc/loadavg: 7.54 6.70 4.61 9/199 14406
/proc/meminfo: memFree=27993144/32770624 swapFree=66936012/67108860
[pid=14387] ppid=14384 vsize=4318832 memory=3322164 CPUtime=1036.85 cores=0-7
/proc/14387/stat : 14387 (cosoco) S 14384 14387 14101 0 -1 1077944320 8073524 0 0 0 102854 831 0 0 20 0 9 0 557855176 4422483968 830541 33554432000 4194304 6211132 140722610515872 140722610514128 139935902969591 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
/proc/14387/statm: 1079708 830541 861 493 0 1073013 0
[pid=14387/tid=14392] ppid=14384 vsize=4318832 memory=6944652177228980320 CPUtime=124.18 cores=0-7
/proc/14387/task/14392/stat : 14392 (cosoco) R 14384 14387 14101 0 -1 4202560 888539 0 0 0 12369 49 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935872990304 5039018 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14393] ppid=14384 vsize=4318832 memory=6944656592455360604 CPUtime=124.17 cores=0-7
/proc/14387/task/14393/stat : 14393 (cosoco) R 14384 14387 14101 0 -1 4202560 837582 0 0 0 12372 45 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935864597600 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14394] ppid=14384 vsize=4318832 memory=6944656592455360604 CPUtime=122.88 cores=0-7
/proc/14387/task/14394/stat : 14394 (cosoco) R 14384 14387 14101 0 -1 4202560 902334 0 0 0 12152 136 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935856204896 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14395] ppid=14384 vsize=4318832 memory=-2895008908443675764 CPUtime=124.21 cores=0-7
/proc/14387/task/14395/stat : 14395 (cosoco) R 14384 14387 14101 0 -1 4202560 914272 0 0 0 12373 48 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935847812192 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14396] ppid=14384 vsize=4318832 memory=4108 CPUtime=123.79 cores=0-7
/proc/14387/task/14396/stat : 14396 (cosoco) R 14384 14387 14101 0 -1 4202560 891241 0 0 0 12248 131 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935839419488 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14397] ppid=14384 vsize=4318832 memory=1398720917958146503 CPUtime=124.21 cores=0-7
/proc/14387/task/14397/stat : 14397 (cosoco) R 14384 14387 14101 0 -1 4202560 913780 0 0 0 12283 138 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935831026784 5038992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14398] ppid=14384 vsize=4318832 memory=4126316290023845779 CPUtime=124.22 cores=0-7
/proc/14387/task/14398/stat : 14398 (cosoco) R 14384 14387 14101 0 -1 4202560 884097 0 0 0 12377 45 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935822634080 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
[pid=14387/tid=14399] ppid=14384 vsize=4318832 memory=1772 CPUtime=124.21 cores=0-7
/proc/14387/task/14399/stat : 14399 (cosoco) R 14384 14387 14101 0 -1 4202560 810823 0 0 0 12288 133 0 0 20 0 9 0 557859670 4422483968 830541 33554432000 4194304 6211132 140722610515872 139935814241376 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16756736 140722610517009 140722610517101 140722610517101 140722610520014 0
Current children cumulated CPU time: 1036.85 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3322164 KiB
[startup+169.4 s]*
/proc/loadavg: 7.54 6.70 4.61 2/191 14406
/proc/meminfo: memFree=29545800/32770624 swapFree=66936012/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+169.509 s]
/proc/loadavg: 7.54 6.70 4.61 2/191 14406
/proc/meminfo: memFree=29545800/32770624 swapFree=66936012/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 169.523
CPU time (s): 1037.64
CPU user time (s): 1029.11
CPU system time (s): 8.53593
CPU usage (%): 612.096
Max. virtual memory (cumulated for all children) (KiB): 4318832
Max. memory (cumulated for all children) (KiB): 3322164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1029.11
system time used= 8.53593
maximum resident set size= 3322168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8073564
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= 216
involuntary context switches= 8696
# summary of solver processes directly reported to runsolver:
# pid: 14387
# total CPU time (s): 1037.64
# total CPU user time (s): 1029.11
# total CPU system time (s): 8.53593
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.794951 second user time and 1.46257 second system time
The end
Begin job on node147 at 2019-09-30 06:56:10 IDJOB=4409327 IDBENCH=121037 IDSOLVER=2877 FILE ID=node147/4409327-1569819413 RUNJOBID= node147-1569818085-14128 PBS_JOBID= 21705926 Free space on /tmp= 61948 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Random/Random-m1-5-12-12t/rand-5-12-12-200-t85-6.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409327-1569819413/watcher-4409327-1569819413 -o /tmp/evaluation-result-4409327-1569819413/solver-4409327-1569819413 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1569818085-14128 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409327-1569819413.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 28aba8525a2c57af7de5748c3b9cdf6b RANDOM SEED=768197555 node147.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 : 2668.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.52 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 : 2668.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 : 5332.55 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 : 2668.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.52 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 : 2668.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 : 5332.55 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 : 2668.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.52 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 : 2668.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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.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.52 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 : 2668.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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31326752 kB MemAvailable: 31799752 kB Buffers: 230624 kB Cached: 571524 kB SwapCached: 68896 kB Active: 496436 kB Inactive: 376408 kB Active(anon): 16372 kB Inactive(anon): 136748 kB Active(file): 480064 kB Inactive(file): 239660 kB Unevictable: 107716 kB Mlocked: 107716 kB SwapTotal: 67108860 kB SwapFree: 66936012 kB Dirty: 89004 kB Writeback: 0 kB AnonPages: 111648 kB Mapped: 25860 kB Shmem: 73672 kB Slab: 167388 kB SReclaimable: 138220 kB SUnreclaim: 29168 kB KernelStack: 3344 kB PageTables: 4720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 536896 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61944 MiB End job on node147 at 2019-09-30 06:59:00