| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | UNSAT | 822.427 | 142.188 |
| Name | Random/Random-m1-5-12-12t/ rand-5-12-12-200-t85-8.xml |
| MD5SUM | 99ba47a6bc0c62f84cd44bdd38bc871f |
| 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 | 12.7157 |
| 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 | 74 |
| Maximum variable degree | 95 |
| Distribution of variable degrees | [{"degree":74,"count":1},{"degree":75,"count":1},{"degree":78,"count":1},{"degree":79,"count":1},{"degree":81,"count":1},{"degree":82,"count":1},{"degree":85,"count":2},{"degree":86,"count":1},{"degree":90,"count":2},{"degree":95,"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 |
45.96/44.79 c root propagations : 0 45.96/44.79 c restarts enabled, print stats at every restarts 45.96/44.79 c 45.96/44.79 c 45.96/44.79 c 45.96/44.79 c This is cosoco 2.00 -- 45.96/44.79 c 45.96/44.79 c command line: cosoco -model -nbcores=8 HOME/instance-4409324-1569819429.xml 45.96/44.79 c ========================================[ Problem Statistics ]=========================================== 45.96/44.79 c | 45.96/44.79 c | Parse time : 43.43 s 45.96/44.79 c | 45.96/44.79 c | Variables: 12 45.96/44.79 c | Domain Sizes: 12..12 45.96/44.79 c | 45.96/44.79 c | Constraints: 200 45.96/44.79 c | Arity: 5..5 45.96/44.79 c | 45.96/44.79 c | Types: 45.96/44.79 c | Extension: 200 (nb tuples: 37324..37324) -- (shared: 0) 45.96/44.79 c | 45.96/44.79 c ========================================================================================================= 45.96/44.79 c Parallel mode: Portfolio 45.96/44.79 c [pFactory][Group N°0] created (threads:8). 45.96/44.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 45.96/44.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 45.96/44.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 45.96/44.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 45.96/44.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 45.96/44.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 45.96/44.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 45.96/44.79 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 45.96/44.79 c [pFactory][Group N°0] concurrent mode: enabled. 45.96/44.79 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 45.96/44.79 c [pFactory][Group N°0] task 7 launched on thread 4. 45.96/44.79 c [pFactory][Group N°0] task 6 launched on thread 0. 45.96/44.79 c [pFactory][Group N°0] task 5 launched on thread 1. 45.96/44.79 c [pFactory][Group N°0] task 4 launched on thread 2. 45.96/44.79 c [pFactory][Group N°0] task 3 launched on thread 7. 45.96/44.79 c [pFactory][Group N°0] task 2 launched on thread 5. 45.96/44.79 c [pFactory][Group N°0] task 1 launched on thread 3. 45.96/44.79 c [pFactory][Group N°0] task 0 launched on thread 6. 45.96/44.79 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 45.96/44.79 c root propagations : 0 45.96/44.79 c restarts enabled, print stats at every restarts 45.96/44.79 c 45.96/44.79 c 45.96/44.79 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 45.96/44.80 c root propagations : 0 45.96/44.80 c restarts enabled, print stats at every restarts 45.96/44.80 c 45.96/44.80 c 45.96/44.80 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 46.73/44.81 c root propagations : 0 46.73/44.81 c restarts enabled, print stats at every restarts 46.73/44.81 c 46.73/44.81 c 46.73/44.81 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 49.88/45.28 c root propagations : 0 49.88/45.28 c restarts enabled, print stats at every restarts 49.88/45.28 c 49.88/45.28 c 49.88/45.28 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 49.88/45.30 c root propagations : 0 49.88/45.30 c restarts enabled, print stats at every restarts 49.88/45.30 c 49.88/45.30 c 49.88/45.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 49.88/45.30 c root propagations : 0 49.88/45.30 c restarts enabled, print stats at every restarts 49.88/45.30 c 49.88/45.30 c 49.88/45.30 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 50.68/45.31 c root propagations : 0 50.68/45.31 c restarts enabled, print stats at every restarts 50.68/45.31 c 50.68/45.31 c 50.68/45.31 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 67.45/47.48 c 32 36 5414 2936 0 0 3 3 2 70.64/47.81 c 33 39 6173 3027 0 0 3 3 1 78.63/48.89 c 32 36 6808 2936 0 0 3 3 2 82.62/49.37 c 33 39 7208 3019 0 0 3 3 1 83.42/49.43 c 32 39 12708 2757 0 0 3 4 3 84.22/49.55 c 32 46 16975 2638 0 0 3 4 3 85.82/49.71 c 33 42 13005 2842 0 0 3 3 1 87.48/49.98 c 33 49 17394 2723 0 0 3 3 1 106.57/52.39 c 64 74 13805 5595 0 0 3 3 2 108.97/52.63 c 64 83 22218 5695 0 0 3 4 3 109.76/52.73 c 64 77 20680 5553 0 0 3 3 2 109.76/52.73 c 65 77 14205 5678 0 0 3 3 1 110.56/52.90 c 65 86 22548 5795 0 0 3 3 1 112.24/53.05 c 66 80 14589 5760 0 0 3 3 1 112.24/53.08 c 65 80 21088 5655 0 0 3 3 1 114.55/53.31 c 66 89 23307 5886 0 0 3 3 1 114.55/53.36 c 67 83 14989 5843 0 0 3 3 1 115.36/53.43 c 66 83 21507 5757 0 0 3 3 1 117.76/53.73 c 67 92 24081 5977 0 0 3 3 1 117.76/53.79 c 67 86 21915 5859 0 0 3 3 1 122.55/54.36 c 64 84 25148 5351 0 0 3 3 2 125.74/54.77 c 65 87 25567 5436 0 0 3 3 1 127.38/54.92 c 101 112 19706 9081 0 0 3 3 2 128.18/55.09 c 66 90 25909 5515 0 0 3 3 1 131.30/55.48 c 67 93 26328 5600 0 0 3 3 1 137.69/56.27 c 101 125 35875 7784 0 0 3 4 3 147.27/57.47 c 101 114 28328 8495 0 0 3 4 3 155.25/58.48 c 101 114 29261 8794 0 0 3 4 3 172.82/60.62 c 128 164 40950 11574 0 0 3 4 3 174.43/60.87 c 129 167 41240 11663 0 0 3 3 1 176.81/61.15 c 130 170 41552 11740 0 0 3 3 1 179.21/61.41 c 131 173 41842 11829 0 0 3 3 1 180.81/61.67 c 132 176 42154 11906 0 0 3 3 1 183.27/61.93 c 133 179 42444 11995 0 0 3 3 1 185.59/62.21 c 134 182 42756 12072 0 0 3 3 1 187.19/62.45 c 135 185 43046 12161 0 0 3 3 1 189.59/62.79 c 128 151 29046 10777 0 0 3 3 2 193.58/63.20 c 129 154 29415 10872 0 0 3 3 1 196.78/63.60 c 130 157 29788 10967 0 0 3 3 1 199.24/63.99 c 131 160 30157 11062 0 0 3 3 1 202.36/64.39 c 132 163 30530 11157 0 0 3 3 1 203.16/64.43 c 128 161 41712 10911 0 0 3 3 2 205.56/64.79 c 133 166 30899 11252 0 0 3 3 1 206.36/64.81 c 128 160 52389 11523 0 0 3 4 3 206.36/64.84 c 129 164 42131 10996 0 0 3 3 1 207.20/64.96 c 211 246 55651 17720 0 0 3 3 2 208.74/65.18 c 130 167 42473 11075 0 0 3 3 1 208.74/65.19 c 134 169 31272 11347 0 0 3 3 1 210.34/65.30 c 129 163 53034 11618 0 0 3 3 1 211.93/65.57 c 131 170 42892 11160 0 0 3 3 1 211.93/65.59 c 135 172 31641 11442 0 0 3 3 1 213.53/65.79 c 130 166 53686 11713 0 0 3 3 1 214.33/65.90 c 132 173 43234 11239 0 0 3 3 1 215.20/66.00 c 211 233 42579 19265 0 0 3 3 2 217.53/66.27 c 131 169 54331 11808 0 0 3 3 1 217.53/66.29 c 133 176 43653 11324 0 0 3 3 1 220.72/66.63 c 134 179 43995 11403 0 0 3 3 1 221.52/66.75 c 132 172 54983 11903 0 0 3 3 1 223.99/67.02 c 135 183 44926 11472 0 0 4 4 2 225.51/67.23 c 133 175 55628 11998 0 0 3 3 1 229.51/67.71 c 134 178 56280 12093 0 0 3 3 1 232.70/68.17 c 135 181 56925 12188 0 0 3 3 1 235.09/68.47 c 211 236 47822 18486 0 0 3 4 2 271.90/73.09 c 256 318 67435 23400 0 0 3 3 2 274.21/73.35 c 257 321 67725 23489 0 0 3 3 1 276.61/73.63 c 258 324 68048 23576 0 0 3 3 1 278.21/73.88 c 259 327 68338 23665 0 0 3 3 1 280.60/74.17 c 260 330 68661 23752 0 0 3 3 1 283.00/74.42 c 261 333 68951 23841 0 0 3 3 1 284.59/74.68 c 262 336 69274 23928 0 0 3 3 1 287.03/74.95 c 263 339 69564 24017 0 0 3 3 1 289.37/75.23 c 264 342 69887 24104 0 0 3 3 1 290.96/75.46 c 265 345 70177 24193 0 0 3 3 1 290.96/75.49 c 211 238 67136 18630 0 0 3 4 3 293.36/75.74 c 266 348 70500 24280 0 0 3 3 1 295.02/75.98 c 267 351 70790 24369 0 0 3 3 1 296.55/76.16 c 332 379 79676 28507 0 0 3 3 2 297.35/76.25 c 268 354 71113 24456 0 0 3 3 1 298.95/76.49 c 269 357 71403 24545 0 0 3 3 1 301.35/76.76 c 270 360 71726 24632 0 0 3 3 1 303.82/77.02 c 271 363 72016 24721 0 0 3 3 1 326.95/79.96 c 332 371 77311 29099 0 0 3 4 3 329.28/80.26 c 332 366 68193 30438 0 0 3 3 2 362.02/84.39 c 256 317 75720 22197 0 0 3 4 2 366.01/84.80 c 257 321 76651 22266 0 0 4 4 2 368.39/85.15 c 258 324 76993 22345 0 0 3 3 1 371.59/85.54 c 259 328 77924 22414 0 0 4 4 2 371.59/85.57 c 256 342 110433 21666 0 0 3 4 3 373.99/85.89 c 260 331 78266 22493 0 0 3 3 1 375.66/86.04 c 257 346 111130 21718 0 0 4 4 2 377.18/86.28 c 261 335 79197 22562 0 0 4 4 2 379.57/86.52 c 258 349 111584 21795 0 0 3 3 1 381.97/86.80 c 262 338 79629 22641 1 0 3 3 1 383.65/87.07 c 259 352 111971 21881 1 0 3 3 1 385.16/87.24 c 263 341 80189 22723 1 0 3 3 1 386.76/87.43 c 260 355 112273 21973 1 0 3 3 1 388.36/87.68 c 264 344 80734 22805 1 0 3 3 1 389.16/87.77 c 261 358 112570 22058 1 0 3 3 1 392.35/88.11 c 262 361 112872 22150 1 0 3 3 1 392.35/88.12 c 265 347 81294 22887 1 0 3 3 1 394.75/88.46 c 465 527 106970 40140 2 0 3 3 2 397.15/88.72 c 266 350 81921 22969 2 0 3 3 1 397.15/88.76 c 263 365 114004 22217 2 0 4 4 2 399.62/89.09 c 264 368 114303 22305 2 0 3 3 1 400.34/89.15 c 267 353 82481 23050 2 0 3 3 1 403.53/89.58 c 268 356 83026 23131 2 0 3 3 1 404.33/89.61 c 265 371 114955 22400 2 0 3 3 1 406.79/90.00 c 269 359 83586 23212 2 0 3 3 1 408.32/90.10 c 266 374 115600 22495 2 0 3 3 1 410.72/90.44 c 270 362 84131 23293 2 0 3 3 1 412.31/90.61 c 267 377 116252 22590 2 0 3 3 1 413.91/90.86 c 271 365 84691 23374 2 0 3 3 1 416.30/91.10 c 268 380 116897 22685 2 0 3 3 1 417.10/91.22 c 256 312 75435 21671 0 0 3 4 3 419.49/91.55 c 269 384 117948 22751 2 0 4 4 2 421.90/91.88 c 270 387 118247 22839 2 0 3 3 1 422.76/91.92 c 332 371 100584 29256 0 0 3 3 2 423.57/92.05 c 257 315 76015 21751 2 0 3 3 1 425.89/92.32 c 271 391 119298 22905 2 0 4 4 2 426.68/92.49 c 258 318 76437 21829 2 0 3 3 1 430.74/92.95 c 259 321 76875 21907 2 0 3 3 1 433.87/93.39 c 260 324 77297 21985 2 0 3 3 1 437.86/93.85 c 261 327 77735 22063 2 0 3 3 1 441.86/94.30 c 262 330 78157 22141 2 0 3 3 1 445.86/94.86 c 465 519 107140 41002 3 0 3 3 2 446.72/94.95 c 263 333 78680 22220 3 0 3 3 1 449.84/95.38 c 264 336 79102 22298 3 0 3 3 1 453.03/95.72 c 512 629 116612 47543 1 0 3 3 2 453.83/95.82 c 265 339 79540 22376 3 0 3 3 1 457.01/96.25 c 266 342 79962 22454 3 0 3 3 1 457.81/96.31 c 513 632 117106 47635 3 0 3 3 1 459.41/96.55 c 514 635 117417 47729 3 0 3 3 1 460.21/96.69 c 267 345 80400 22532 3 0 3 3 1 461.81/96.86 c 515 638 117774 47819 3 0 3 3 1 464.20/97.11 c 268 348 80822 22610 3 0 3 3 1 464.20/97.12 c 516 641 118085 47913 3 0 3 3 1 466.60/97.43 c 517 644 118442 48003 3 0 3 3 1 467.39/97.55 c 269 351 81260 22688 3 0 3 3 1 468.20/97.69 c 518 647 118753 48097 3 0 3 3 1 470.65/97.98 c 270 354 81682 22766 3 0 3 3 1 471.46/98.02 c 519 650 119110 48187 3 0 3 3 1 472.99/98.27 c 520 653 119421 48281 3 0 3 3 1 474.58/98.41 c 271 357 82120 22844 3 0 3 3 1 475.38/98.59 c 521 656 119778 48371 3 0 3 3 1 477.78/98.84 c 522 659 120089 48465 3 0 3 3 1 480.97/99.27 c 523 662 120531 48556 3 0 3 3 1 483.37/99.52 c 524 665 120842 48650 3 0 3 3 1 485.76/99.83 c 525 668 121199 48740 3 0 3 3 1 487.43/100.09 c 526 671 121510 48834 3 0 3 3 1 490.55/100.41 c 527 674 121867 48924 3 0 3 3 1 492.15/100.65 c 528 677 122178 49018 3 0 3 3 1 494.60/100.97 c 529 680 122535 49108 3 0 3 3 1 496.94/101.22 c 530 683 122846 49202 3 0 3 3 1 496.94/101.22 c 611 689 134417 52970 3 0 3 3 2 499.33/101.53 c 531 686 123203 49292 3 0 3 3 1 500.93/101.77 c 532 689 123514 49386 3 0 3 3 1 503.40/102.09 c 533 692 123871 49476 3 0 3 3 1 505.72/102.33 c 534 695 124182 49570 3 0 3 3 1 508.12/102.64 c 535 698 124539 49660 3 0 3 3 1 511.39/103.01 c 465 514 107570 41733 3 0 3 3 2 511.39/103.04 c 536 701 124921 49755 4 0 3 3 1 513.70/103.32 c 537 704 125264 49855 4 0 3 3 1 515.30/103.56 c 538 707 125560 49949 4 0 3 3 1 517.70/103.85 c 539 710 125903 50049 4 0 3 3 1 519.38/104.09 c 540 713 126199 50143 4 0 3 3 1 521.69/104.38 c 541 716 126542 50243 4 0 3 3 1 524.09/104.62 c 542 719 126838 50337 4 0 3 3 1 526.55/104.92 c 543 722 127181 50437 4 0 3 3 1 558.48/108.97 c 611 682 131580 54096 5 0 3 4 2 565.61/109.90 c 465 520 136172 40826 5 0 3 4 2 600.74/114.23 c 771 867 161438 67023 5 0 3 3 2 635.87/118.61 c 611 677 136995 54958 6 0 3 3 2 658.23/121.41 c 512 689 195760 43177 4 0 3 4 3 664.62/122.20 c 513 693 196723 43286 7 0 4 4 2 667.01/122.55 c 514 696 197095 43355 7 0 3 3 1 668.61/122.77 c 515 699 197368 43425 7 0 3 3 1 670.27/122.98 c 516 702 197654 43493 7 0 3 3 1 671.80/123.19 c 517 705 197927 43563 7 0 3 3 1 674.20/123.41 c 518 708 198213 43631 7 0 3 3 1 674.20/123.46 c 771 860 163761 68150 7 0 3 3 2 676.59/123.74 c 519 711 198572 43702 7 0 3 3 1 678.25/123.94 c 520 714 198858 43770 7 0 3 3 1 679.79/124.14 c 512 623 137268 42115 6 0 3 3 2 679.79/124.14 c 521 717 199131 43840 7 0 3 3 1 682.19/124.47 c 522 720 199507 43908 7 0 3 3 1 683.77/124.63 c 512 678 182875 43587 7 0 2 4 3 683.77/124.67 c 523 723 199780 43977 7 0 3 3 1 684.57/124.72 c 513 626 137813 42189 7 0 3 3 1 685.37/124.87 c 524 726 200066 44044 7 0 3 3 1 686.23/124.98 c 514 629 138148 42264 7 0 3 3 1 687.04/125.05 c 513 681 183334 43671 7 0 3 3 1 687.04/125.07 c 525 729 200339 44113 7 0 3 3 1 688.56/125.24 c 514 684 183626 43761 7 0 3 3 1 688.56/125.26 c 515 632 138503 42340 7 0 3 3 1 688.56/125.27 c 526 732 200625 44180 7 0 3 3 1 690.16/125.42 c 515 687 183918 43841 7 0 3 3 1 690.16/125.47 c 527 735 200898 44249 7 0 3 3 1 690.96/125.51 c 516 635 138838 42415 7 0 3 3 1 691.75/125.60 c 516 690 184210 43931 7 0 3 3 1 691.75/125.66 c 528 738 201184 44316 7 0 3 3 1 692.55/125.78 c 517 693 184502 44011 7 0 3 3 1 693.35/125.80 c 517 638 139193 42491 7 0 3 3 1 693.35/125.87 c 529 741 201457 44385 7 0 3 3 1 694.21/125.96 c 518 696 184794 44101 7 0 3 3 1 695.02/126.05 c 518 641 139528 42566 7 0 3 3 1 695.02/126.06 c 530 744 201743 44452 7 0 3 3 1 695.74/126.15 c 519 699 185086 44181 7 0 3 3 1 696.54/126.26 c 531 747 202016 44521 7 0 3 3 1 697.34/126.32 c 520 702 185378 44271 7 0 3 3 1 697.34/126.34 c 519 644 139883 42642 7 0 3 3 1 698.14/126.46 c 532 750 202302 44588 7 0 3 3 1 699.74/126.61 c 521 705 185746 44365 7 0 3 3 1 700.53/126.71 c 520 647 140300 42717 7 0 3 3 1 700.53/126.78 c 533 753 202657 44658 7 0 3 3 1 700.53/126.79 c 522 708 186030 44440 7 0 3 3 1 701.33/126.89 c 611 683 166221 52974 7 0 3 4 2 701.33/126.90 c 947 1066 194720 81945 7 0 3 3 2 702.19/126.97 c 523 711 186316 44533 7 0 3 3 1 702.19/126.97 c 534 756 202943 44725 7 0 3 3 1 702.19/126.99 c 521 650 140655 42792 7 0 3 3 1 703.72/127.15 c 524 714 186600 44608 7 0 3 3 1 703.72/127.16 c 535 759 203216 44794 7 0 3 3 1 704.52/127.24 c 522 653 140990 42866 7 0 3 3 1 705.32/127.32 c 525 717 186886 44701 7 0 3 3 1 705.32/127.35 c 536 762 203502 44861 7 0 3 3 1 706.92/127.50 c 526 720 187170 44776 7 0 3 3 1 706.92/127.52 c 523 656 141345 42941 7 0 3 3 1 706.92/127.55 c 537 765 203775 44930 7 0 3 3 1 707.72/127.67 c 527 723 187456 44869 7 0 3 3 1 708.52/127.74 c 538 768 204061 44997 7 0 3 3 1 708.52/127.76 c 524 659 141680 43015 7 0 3 3 1 709.32/127.85 c 528 726 187740 44944 7 0 3 3 1 710.18/127.93 c 539 771 204334 45066 7 0 3 3 1 710.98/128.03 c 529 729 188026 45037 7 0 3 3 1 710.98/128.04 c 525 662 142035 43090 7 0 3 3 1 711.70/128.13 c 540 774 204620 45133 7 0 3 3 1 712.51/128.21 c 530 732 188310 45112 7 0 3 3 1 712.51/128.29 c 526 665 142370 43164 7 0 3 3 1 713.30/128.32 c 541 777 204893 45202 7 0 3 3 1 713.30/128.38 c 531 735 188596 45205 7 0 3 3 1 714.90/128.51 c 542 780 205179 45269 7 0 3 3 1 714.90/128.56 c 532 738 188880 45280 7 0 3 3 1 714.90/128.57 c 527 668 142725 43239 7 0 3 3 1 716.50/128.71 c 543 783 205452 45338 7 0 3 3 1 716.50/128.74 c 533 741 189166 45373 7 0 3 3 1 717.30/128.82 c 528 671 143060 43313 7 0 3 3 1 718.98/129.02 c 534 744 189540 45449 7 0 3 3 1 719.73/129.18 c 535 747 189826 45542 7 0 3 3 1 720.49/129.20 c 529 674 143504 43392 7 0 3 3 1 721.29/129.35 c 536 750 190110 45617 7 0 3 3 1 722.09/129.44 c 530 677 143835 43474 7 0 3 3 1 722.89/129.58 c 537 753 190481 45711 7 0 3 3 1 724.49/129.70 c 1000 1127 203964 86225 7 0 3 3 2 724.49/129.75 c 538 756 190765 45786 7 0 3 3 1 724.49/129.79 c 531 680 144272 43559 7 0 3 3 1 725.29/129.85 c 1000 1128 204101 86228 7 0 0 0 0 726.15/129.95 c 539 759 191124 45843 7 0 3 3 1 726.96/130.09 c 532 683 144686 43631 7 0 3 3 1 727.68/130.11 c 540 762 191398 45899 7 0 3 3 1 728.48/130.26 c 541 765 191672 45955 7 0 3 3 1 729.28/130.33 c 533 686 145038 43714 7 0 3 3 1 730.08/130.41 c 542 768 191946 46011 7 0 3 3 1 730.93/130.55 c 534 689 145367 43785 7 0 3 3 1 730.93/130.56 c 543 771 192220 46067 7 0 3 3 1 732.47/130.80 c 535 692 145719 43868 7 0 3 3 1 734.94/131.01 c 536 695 146048 43939 7 0 3 3 1 736.45/131.25 c 537 698 146400 44022 7 0 3 3 1 738.05/131.47 c 538 701 146729 44093 7 0 3 3 1 741.25/131.81 c 539 704 147156 44177 7 0 3 3 1 742.92/132.02 c 540 707 147485 44248 7 0 3 3 1 744.44/132.26 c 541 710 147837 44331 7 0 3 3 1 746.04/132.47 c 542 713 148166 44402 7 0 3 3 1 746.04/132.48 c 771 858 169649 68513 7 0 3 3 2 749.23/132.87 c 543 716 148660 44486 7 0 3 3 1 766.07/134.98 c 947 1057 189026 82132 7 0 3 3 2 772.39/135.75 c 1000 1237 212048 90937 7 0 3 3 2 773.19/135.86 c 1000 1238 212186 90941 7 0 0 0 0 773.19/135.90 c 1000 1239 212271 90943 7 0 0 0 0 782.84/137.05 c 1024 1268 216102 92827 7 0 3 3 2 784.35/137.23 c 1025 1271 216473 92892 7 0 3 3 1 784.35/137.24 c 1140 1288 225998 96651 7 0 3 3 2 785.95/137.46 c 1026 1274 216899 92963 7 0 3 3 1 786.75/137.57 c 1027 1277 217195 93048 7 0 3 3 1 787.55/137.68 c 1028 1280 217472 93117 7 0 3 3 1 788.35/137.73 c 1000 1119 200536 86247 7 0 3 3 2 788.35/137.78 c 1029 1283 217768 93202 7 0 3 3 1 789.15/137.89 c 1030 1286 218045 93271 7 0 3 3 1 789.15/137.90 c 1000 1121 200775 86251 7 0 0 0 0 790.01/137.99 c 1000 1123 200942 86254 7 0 0 0 0 790.01/138.00 c 1031 1289 218341 93356 7 0 3 3 1 790.82/138.01 c 1000 1125 201027 86256 7 0 0 0 0 790.82/138.08 c 1000 1128 201187 86259 7 0 0 0 0 792.34/138.20 c 1032 1292 218753 93427 7 0 3 3 1 793.13/138.30 c 1033 1295 219049 93513 7 0 3 3 1 793.93/138.45 c 1034 1298 219379 93583 7 0 3 3 1 793.93/138.49 c 771 865 196219 65154 7 0 3 3 2 795.53/138.60 c 1035 1301 219757 93669 7 0 3 3 1 796.33/138.74 c 1036 1304 220087 93738 7 0 3 3 1 797.13/138.84 c 1037 1307 220383 93823 7 0 3 3 1 797.99/138.98 c 1038 1310 220713 93892 7 0 3 3 1 798.80/139.08 c 1039 1313 221009 93977 7 0 3 3 1 800.32/139.22 c 1040 1316 221339 94046 7 0 3 3 1 801.12/139.32 c 1041 1319 221635 94131 7 0 3 3 1 801.92/139.43 c 1042 1322 221997 94196 7 0 3 3 1 802.72/139.53 c 1043 1325 222293 94268 7 0 3 3 1 803.52/139.67 c 1044 1328 222645 94335 7 0 3 3 1 804.32/139.76 c 1045 1331 222941 94410 7 0 3 3 1 805.12/139.86 c 1046 1334 223218 94476 7 0 3 3 1 805.98/139.95 c 1047 1337 223514 94551 7 0 3 3 1 806.79/140.04 c 1048 1340 223791 94617 7 0 3 3 1 807.51/140.13 c 1049 1343 224087 94692 7 0 3 3 1 808.31/140.28 c 1050 1346 224454 94759 7 0 3 3 1 809.90/140.42 c 1051 1349 224886 94831 7 0 3 3 1 809.90/140.49 c 1052 1352 225170 94897 7 0 3 3 1 810.70/140.59 c 1053 1355 225516 94968 7 0 3 3 1 811.50/140.66 c 1054 1358 225800 95034 7 0 3 3 1 813.10/140.81 c 1055 1361 226270 95095 7 0 3 3 1 813.10/140.89 c 1056 1364 226543 95158 7 0 3 3 1 814.77/141.01 c 1057 1367 226928 95218 7 0 3 3 1 814.77/141.09 c 1058 1370 227201 95281 7 0 3 3 1 816.28/141.21 c 1059 1373 227586 95341 7 0 3 3 1 817.08/141.33 c 1060 1376 227934 95405 7 0 3 3 1 817.88/141.45 c 1061 1379 228319 95464 7 0 3 3 1 818.68/141.53 c 1062 1382 228592 95527 7 0 3 3 1 819.48/141.69 c 1063 1385 229067 95587 7 0 3 3 1 820.28/141.79 c 1064 1388 229480 95652 7 0 3 3 1 821.08/141.88 c 1065 1391 229834 95735 7 0 3 3 1 821.94/141.93 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 0. 821.94/141.93 c 1066 1394 230120 95815 7 0 3 3 1 821.94/141.98 c [pFactory][Group N°0] Thread N°0 is joined. 821.94/141.98 c [pFactory][Group N°0] Thread N°1 is joined. 821.94/141.98 c [pFactory][Group N°0] Thread N°2 is joined. 821.94/141.98 c [pFactory][Group N°0] Thread N°3 is joined. 821.94/141.98 c [pFactory][Group N°0] Thread N°4 is joined. 821.94/141.98 c [pFactory][Group N°0] Thread N°5 is joined. 821.94/141.98 c [pFactory][Group N°0] Thread N°6 is joined. 821.94/141.98 c [pFactory][Group N°0] Thread N°7 is joined. 821.94/141.98 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°6) 821.94/141.98 s UNSATISFIABLE 821.94/141.98 c restarts : 62 821.94/141.98 c conflicts : 782 (1 /sec) 821.94/141.98 c decisions : 1046 (1 /sec) 821.94/141.98 c propagations : 63284 (78 /sec) 821.94/141.98 c root propagations : 0 821.94/141.98 c filter calls : 233477 (287 /sec) 821.94/141.98 c useless filter calls : 212789 (91 %) 821.94/141.98 c Memory used : 4185.60 MB 821.94/141.98 c CPU time : 814.284 s 821.94/141.98 c real time : 141.98 s 821.94/141.98
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 (15004 MiB free)
memory of node 1: 16384 MiB (15646 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409324-1569819429/watcher-4409324-1569819429 -o /tmp/evaluation-result-4409324-1569819429/solver-4409324-1569819429 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1569818076-3952 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409324-1569819429.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
Current StackSize limit: 8192 KiB
solver pid=4502, runsolver pid=4499
[startup+0.100153 s]*
/proc/loadavg: 6.73 6.12 3.58 2/191 4503
/proc/meminfo: memFree=31384632/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=28712 memory=4764 CPUtime=0.1 cores=0-7
/proc/4502/stat : 4502 (cosoco) R 4499 4502 3925 0 -1 4202496 1515 0 0 0 10 0 0 0 20 0 1 0 558191522 29401088 1191 33554432000 4194304 6211132 140733225562480 140733225559016 5743421 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 7178 1191 803 493 0 483 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28712 KiB
Current children cumulated memory: 4764 KiB
[startup+0.209271 s]*
/proc/loadavg: 6.73 6.12 3.58 2/191 4503
/proc/meminfo: memFree=31372728/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=44724 memory=18596 CPUtime=0.2 cores=0-7
/proc/4502/stat : 4502 (cosoco) R 4499 4502 3925 0 -1 4202496 5177 0 0 0 20 0 0 0 20 0 1 0 558191522 45797376 4649 33554432000 4194304 6211132 140733225562480 140733225559752 5240361 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 11181 4649 809 493 0 4486 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44724 KiB
Current children cumulated memory: 18596 KiB
[startup+0.309554 s]*
/proc/loadavg: 6.73 6.12 3.58 2/191 4503
/proc/meminfo: memFree=31367520/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=46980 memory=21096 CPUtime=0.3 cores=0-7
/proc/4502/stat : 4502 (cosoco) R 4499 4502 3925 0 -1 4202496 5994 0 0 0 30 0 0 0 20 0 1 0 558191522 48107520 5274 33554432000 4194304 6211132 140733225562480 140733225559752 5812208 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 11745 5274 809 493 0 5050 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46980 KiB
Current children cumulated memory: 21096 KiB
[startup+0.700329 s]
/proc/loadavg: 6.73 6.12 3.58 2/191 4503
/proc/meminfo: memFree=31353048/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=80848 memory=49868 CPUtime=0.68 cores=0-7
/proc/4502/stat : 4502 (cosoco) R 4499 4502 3925 0 -1 4202496 13232 0 0 0 67 1 0 0 20 0 1 0 558191522 82788352 12467 33554432000 4194304 6211132 140733225562480 140733225559752 5817611 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 20212 12467 809 493 0 13517 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80848 KiB
Current children cumulated memory: 49868 KiB
[startup+1.50036 s]
/proc/loadavg: 6.27 6.04 3.57 2/191 4503
/proc/meminfo: memFree=31325028/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=130888 memory=92900 CPUtime=1.48 cores=0-7
/proc/4502/stat : 4502 (cosoco) R 4499 4502 3925 0 -1 4202496 23975 0 0 0 145 3 0 0 20 0 1 0 558191522 134029312 23225 33554432000 4194304 6211132 140733225562480 140733225559752 5743398 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 32722 23225 809 493 0 26027 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 130888 KiB
Current children cumulated memory: 92900 KiB
[startup+3.10935 s]
/proc/loadavg: 6.27 6.04 3.57 2/191 4503
/proc/meminfo: memFree=31161176/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=258688 memory=204392 CPUtime=3.1 cores=0-7
/proc/4502/stat : 4502 (cosoco) R 4499 4502 3925 0 -1 4202496 53003 0 0 0 302 8 0 0 20 0 1 0 558191522 264896512 51098 33554432000 4194304 6211132 140733225562480 140733225559752 5817924 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 64672 51098 810 493 0 57977 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 258688 KiB
Current children cumulated memory: 204392 KiB
[startup+6.30033 s]
/proc/loadavg: 6.27 6.04 3.57 2/191 4504
/proc/meminfo: memFree=31014012/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=485028 memory=401168 CPUtime=6.29 cores=0-7
/proc/4502/stat : 4502 (cosoco) R 4499 4502 3925 0 -1 4202496 103365 0 0 0 615 14 0 0 20 0 1 0 558191522 496668672 100292 33554432000 4194304 6211132 140733225562480 140733225559752 5689257 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 121257 100292 810 493 0 114562 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 485028 KiB
Current children cumulated memory: 401168 KiB
[startup+12.7003 s]
/proc/loadavg: 5.39 5.86 3.54 2/191 4504
/proc/meminfo: memFree=30624528/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=953876 memory=808196 CPUtime=12.69 cores=0-7
/proc/4502/stat : 4502 (cosoco) R 4499 4502 3925 0 -1 4202496 205548 0 0 0 1241 28 0 0 20 0 1 0 558191522 976769024 202049 33554432000 4194304 6211132 140733225562480 140733225559752 5816145 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 238469 202049 810 493 0 231774 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 953876 KiB
Current children cumulated memory: 808196 KiB
[startup+25.5003 s]
/proc/loadavg: 4.71 5.70 3.51 2/191 4504
/proc/meminfo: memFree=29788488/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=1893108 memory=1627376 CPUtime=25.49 cores=0-7
/proc/4502/stat : 4502 (cosoco) R 4499 4502 3925 0 -1 4202496 409366 0 0 0 2498 51 0 0 20 0 1 0 558191522 1938542592 406844 33554432000 4194304 6211132 140733225562480 140733225558136 5484694 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 473277 406844 810 493 0 466582 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1893108 KiB
Current children cumulated memory: 1627376 KiB
[startup+51.1008 s]
/proc/loadavg: 4.01 5.43 3.48 9/199 4514
/proc/meminfo: memFree=28095640/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=4318832 memory=3288460 CPUtime=96.99 cores=0-7
/proc/4502/stat : 4502 (cosoco) S 4499 4502 3925 0 -1 1077944320 2965041 0 0 0 9147 552 0 0 20 0 9 0 558191522 4422483968 822115 33554432000 4194304 6211132 140733225562480 140733225560736 140401682923255 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 1079708 822115 860 493 0 1073013 0
[pid=4502/tid=4507] ppid=4499 vsize=4318832 memory=301741399244800326 CPUtime=6.57 cores=0-7
/proc/4502/task/4507/stat : 4507 (cosoco) R 4499 4502 3925 0 -1 4202560 258255 0 0 0 560 97 0 0 20 0 9 0 558195973 4422483968 822115 33554432000 4194304 6211132 140733225562480 140401652944248 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4508] ppid=4499 vsize=4318832 memory=14418133037354132 CPUtime=6.56 cores=0-7
/proc/4502/task/4508/stat : 4508 (cosoco) R 4499 4502 3925 0 -1 4202560 198308 0 0 0 642 14 0 0 20 0 9 0 558195973 4422483968 822115 33554432000 4194304 6211132 140733225562480 140401644551544 5038944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4509] ppid=4499 vsize=4318832 memory=8330969454845486047 CPUtime=6.56 cores=0-7
/proc/4502/task/4509/stat : 4509 (cosoco) R 4499 4502 3925 0 -1 4202560 264214 0 0 0 556 100 0 0 20 0 9 0 558195973 4422483968 822115 33554432000 4194304 6211132 140733225562480 140401636158840 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4510] ppid=4499 vsize=4318832 memory=4426940051583640735 CPUtime=6.57 cores=0-7
/proc/4502/task/4510/stat : 4510 (cosoco) R 4499 4502 3925 0 -1 4202560 278668 0 0 0 640 17 0 0 20 0 9 0 558195973 4422483968 822115 33554432000 4194304 6211132 140733225562480 140401627765856 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4511] ppid=4499 vsize=4318832 memory=0 CPUtime=6.56 cores=0-7
/proc/4502/task/4511/stat : 4511 (cosoco) R 4499 4502 3925 0 -1 4202560 183761 0 0 0 572 84 0 0 20 0 9 0 558195973 4422483968 822115 33554432000 4194304 6211132 140733225562480 140401619373432 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4512] ppid=4499 vsize=4318832 memory=0 CPUtime=6.47 cores=0-7
/proc/4502/task/4512/stat : 4512 (cosoco) R 4499 4502 3925 0 -1 4202560 274758 0 0 0 631 16 0 0 20 0 9 0 558195973 4422483968 822115 33554432000 4194304 6211132 140733225562480 140401610980448 5039029 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4513] ppid=4499 vsize=4318832 memory=-8609291874224938357 CPUtime=6.55 cores=0-7
/proc/4502/task/4513/stat : 4513 (cosoco) R 4499 4502 3925 0 -1 4202560 224726 0 0 0 639 16 0 0 20 0 9 0 558195973 4422483968 822115 33554432000 4194304 6211132 140733225562480 140401602587744 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4514] ppid=4499 vsize=4318832 memory=0 CPUtime=6.57 cores=0-7
/proc/4502/task/4514/stat : 4514 (cosoco) R 4499 4502 3925 0 -1 4202560 251438 0 0 0 559 98 0 0 20 0 9 0 558195973 4422483968 822115 33554432000 4194304 6211132 140733225562480 140401594195040 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
Current children cumulated CPU time: 96.99 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3288460 KiB
[startup+102.301 s]
/proc/loadavg: 6.41 5.87 3.74 9/199 4518
/proc/meminfo: memFree=28083300/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=4318832 memory=3299080 CPUtime=505.72 cores=0-7
/proc/4502/stat : 4502 (cosoco) S 4499 4502 3925 0 -1 1077944320 6687028 0 0 0 49805 767 0 0 20 0 9 0 558191522 4422483968 824770 33554432000 4194304 6211132 140733225562480 140733225560736 140401682923255 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 1079708 824770 861 493 0 1073013 0
[pid=4502/tid=4507] ppid=4499 vsize=4318832 memory=288230600379466064 CPUtime=57.73 cores=0-7
/proc/4502/task/4507/stat : 4507 (cosoco) R 4499 4502 3925 0 -1 4202560 734956 0 0 0 5649 124 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401652943968 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4508] ppid=4499 vsize=4318832 memory=14418111579295423 CPUtime=57.75 cores=0-7
/proc/4502/task/4508/stat : 4508 (cosoco) R 4499 4502 3925 0 -1 4202560 682759 0 0 0 5736 39 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401644551264 5038944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4509] ppid=4499 vsize=4318832 memory=-7531822216213012384 CPUtime=57.75 cores=0-7
/proc/4502/task/4509/stat : 4509 (cosoco) R 4499 4502 3925 0 -1 4202560 709796 0 0 0 5648 127 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401636158560 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4510] ppid=4499 vsize=4318832 memory=606964509356221932 CPUtime=57.76 cores=0-7
/proc/4502/task/4510/stat : 4510 (cosoco) R 4499 4502 3925 0 -1 4202560 728650 0 0 0 5733 43 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401627765856 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4511] ppid=4499 vsize=4318832 memory=288285571665889179 CPUtime=57.75 cores=0-7
/proc/4502/task/4511/stat : 4511 (cosoco) R 4499 4502 3925 0 -1 4202560 619541 0 0 0 5655 120 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401619373152 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4512] ppid=4499 vsize=4318832 memory=4956998493510226538 CPUtime=56.92 cores=0-7
/proc/4502/task/4512/stat : 4512 (cosoco) R 4499 4502 3925 0 -1 4202560 753113 0 0 0 5652 40 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401610980448 5037884 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4513] ppid=4499 vsize=4318832 memory=6944656592385698452 CPUtime=57.74 cores=0-7
/proc/4502/task/4513/stat : 4513 (cosoco) R 4499 4502 3925 0 -1 4202560 697450 0 0 0 5734 40 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401602587744 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4514] ppid=4499 vsize=4318832 memory=6944656575208382560 CPUtime=57.74 cores=0-7
/proc/4502/task/4514/stat : 4514 (cosoco) R 4499 4502 3925 0 -1 4202560 729861 0 0 0 5651 123 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401594195040 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
Current children cumulated CPU time: 505.72 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3299080 KiB
[startup+142.188 s]
# the end of solver process 4502 was just reported to runsolver
# cumulated CPU time of all completed processes: user=814.284 s, system=8.1433 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+103.301 s]
/proc/loadavg: 6.41 5.87 3.74 9/199 4518
/proc/meminfo: memFree=28083424/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=4318832 memory=3299080 CPUtime=513.7 cores=0-7
/proc/4502/stat : 4502 (cosoco) S 4499 4502 3925 0 -1 1077944320 6740912 0 0 0 50599 771 0 0 20 0 9 0 558191522 4422483968 824770 33554432000 4194304 6211132 140733225562480 140733225560736 140401682923255 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 1079708 824770 861 493 0 1073013 0
[pid=4502/tid=4507] ppid=4499 vsize=4318832 memory=3299080 CPUtime=58.73 cores=0-7
/proc/4502/task/4507/stat : 4507 (cosoco) R 4499 4502 3925 0 -1 4202560 736581 0 0 0 5749 124 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401652943968 5037823 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4508] ppid=4499 vsize=4318832 memory=6944656425123094137 CPUtime=58.74 cores=0-7
/proc/4502/task/4508/stat : 4508 (cosoco) R 4499 4502 3925 0 -1 4202560 691238 0 0 0 5835 39 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401644551264 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4509] ppid=4499 vsize=4318832 memory=33 CPUtime=58.75 cores=0-7
/proc/4502/task/4509/stat : 4509 (cosoco) R 4499 4502 3925 0 -1 4202560 711440 0 0 0 5748 127 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401636158560 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4510] ppid=4499 vsize=4318832 memory=6442450945222 CPUtime=58.77 cores=0-7
/proc/4502/task/4510/stat : 4510 (cosoco) R 4499 4502 3925 0 -1 4202560 757207 0 0 0 5832 45 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401627765856 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4511] ppid=4499 vsize=4318832 memory=3292464 CPUtime=58.76 cores=0-7
/proc/4502/task/4511/stat : 4511 (cosoco) R 4499 4502 3925 0 -1 4202560 623524 0 0 0 5755 121 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401619373152 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4512] ppid=4499 vsize=4318832 memory=3292460 CPUtime=57.91 cores=0-7
/proc/4502/task/4512/stat : 4512 (cosoco) R 4499 4502 3925 0 -1 4202560 761895 0 0 0 5750 41 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401610980448 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4513] ppid=4499 vsize=4318832 memory=3616 CPUtime=58.74 cores=0-7
/proc/4502/task/4513/stat : 4513 (cosoco) R 4499 4502 3925 0 -1 4202560 697467 0 0 0 5834 40 0 0 20 0 9 0 558195973 4422483968 824770 33554432000 4194304 6211132 140733225562480 140401602587744 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
################
# More data... #
################
[pid=4502] ppid=4499 vsize=4318832 memory=3305528 CPUtime=718.17 cores=0-7
/proc/4502/stat : 4502 (cosoco) S 4499 4502 3925 0 -1 1077944320 7031495 0 0 0 71029 788 0 0 20 0 9 0 558191522 4422483968 826382 33554432000 4194304 6211132 140733225562480 140733225560736 140401682923255 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 1079708 826382 861 493 0 1073013 0
[pid=4502/tid=4507] ppid=4499 vsize=4318832 memory=2836 CPUtime=84.33 cores=0-7
/proc/4502/task/4507/stat : 4507 (cosoco) R 4499 4502 3925 0 -1 4202560 770248 0 0 0 8308 125 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401652943968 5039199 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4508] ppid=4499 vsize=4318832 memory=4126316290023845779 CPUtime=84.36 cores=0-7
/proc/4502/task/4508/stat : 4508 (cosoco) R 4499 4502 3925 0 -1 4202560 715612 0 0 0 8395 41 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401644551264 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4509] ppid=4499 vsize=4318832 memory=1232 CPUtime=84.36 cores=0-7
/proc/4502/task/4509/stat : 4509 (cosoco) R 4499 4502 3925 0 -1 4202560 750062 0 0 0 8307 129 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401636158560 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4510] ppid=4499 vsize=4318832 memory=10604 CPUtime=84.37 cores=0-7
/proc/4502/task/4510/stat : 4510 (cosoco) R 4499 4502 3925 0 -1 4202560 786181 0 0 0 8390 47 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401627765856 5039536 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4511] ppid=4499 vsize=4318832 memory=3616 CPUtime=84.36 cores=0-7
/proc/4502/task/4511/stat : 4511 (cosoco) R 4499 4502 3925 0 -1 4202560 670545 0 0 0 8314 122 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401619373152 5038961 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4512] ppid=4499 vsize=4318832 memory=10448 CPUtime=83.14 cores=0-7
/proc/4502/task/4512/stat : 4512 (cosoco) R 4499 4502 3925 0 -1 4202560 797401 0 0 0 8271 43 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401610980448 5008940 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4513] ppid=4499 vsize=4318832 memory=988 CPUtime=84.33 cores=0-7
/proc/4502/task/4513/stat : 4513 (cosoco) R 4499 4502 3925 0 -1 4202560 735461 0 0 0 8391 42 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401602587744 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4514] ppid=4499 vsize=4318832 memory=3303396 CPUtime=84.33 cores=0-7
/proc/4502/task/4514/stat : 4514 (cosoco) R 4499 4502 3925 0 -1 4202560 775066 0 0 0 8307 126 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401594195040 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
Current children cumulated CPU time: 718.17 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3305528 KiB
[startup+135.301 s]
/proc/loadavg: 7.10 6.09 3.88 9/199 4521
/proc/meminfo: memFree=28079112/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=4318832 memory=3305528 CPUtime=769.19 cores=0-7
/proc/4502/stat : 4502 (cosoco) S 4499 4502 3925 0 -1 1077944320 7078244 0 0 0 76128 791 0 0 20 0 9 0 558191522 4422483968 826382 33554432000 4194304 6211132 140733225562480 140733225560736 140401682923255 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 1079708 826382 861 493 0 1073013 0
[pid=4502/tid=4507] ppid=4499 vsize=4318832 memory=3616 CPUtime=90.73 cores=0-7
/proc/4502/task/4507/stat : 4507 (cosoco) R 4499 4502 3925 0 -1 4202560 775251 0 0 0 8947 126 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401652943968 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4508] ppid=4499 vsize=4318832 memory=2024 CPUtime=90.67 cores=0-7
/proc/4502/task/4508/stat : 4508 (cosoco) R 4499 4502 3925 0 -1 4202560 726458 0 0 0 9026 41 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401644551264 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4509] ppid=4499 vsize=4318832 memory=1416 CPUtime=90.74 cores=0-7
/proc/4502/task/4509/stat : 4509 (cosoco) R 4499 4502 3925 0 -1 4202560 755277 0 0 0 8945 129 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401636158560 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4510] ppid=4499 vsize=4318832 memory=3303396 CPUtime=90.76 cores=0-7
/proc/4502/task/4510/stat : 4510 (cosoco) R 4499 4502 3925 0 -1 4202560 791080 0 0 0 9029 47 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401627765856 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4511] ppid=4499 vsize=4318832 memory=12040 CPUtime=90.75 cores=0-7
/proc/4502/task/4511/stat : 4511 (cosoco) R 4499 4502 3925 0 -1 4202560 675365 0 0 0 8952 123 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401619373152 5037823 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4512] ppid=4499 vsize=4318832 memory=3305528 CPUtime=89.53 cores=0-7
/proc/4502/task/4512/stat : 4512 (cosoco) R 4499 4502 3925 0 -1 4202560 803203 0 0 0 8909 44 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401610980448 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4513] ppid=4499 vsize=4318832 memory=3616 CPUtime=90.71 cores=0-7
/proc/4502/task/4513/stat : 4513 (cosoco) R 4499 4502 3925 0 -1 4202560 740315 0 0 0 9029 42 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401602587744 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4514] ppid=4499 vsize=4318832 memory=10448 CPUtime=90.71 cores=0-7
/proc/4502/task/4514/stat : 4514 (cosoco) R 4499 4502 3925 0 -1 4202560 780376 0 0 0 8944 127 0 0 20 0 9 0 558195973 4422483968 826382 33554432000 4194304 6211132 140733225562480 140401594195040 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
Current children cumulated CPU time: 769.19 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3305528 KiB
[startup+138.501 s]
/proc/loadavg: 7.17 6.12 3.90 9/199 4521
/proc/meminfo: memFree=28074756/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=4318832 memory=3307660 CPUtime=794.73 cores=0-7
/proc/4502/stat : 4502 (cosoco) S 4499 4502 3925 0 -1 1077944320 7120875 0 0 0 78680 793 0 0 20 0 9 0 558191522 4422483968 826915 33554432000 4194304 6211132 140733225562480 140733225560736 140401682923255 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 1079708 826915 861 493 0 1073013 0
[pid=4502/tid=4507] ppid=4499 vsize=4318832 memory=3305528 CPUtime=93.92 cores=0-7
/proc/4502/task/4507/stat : 4507 (cosoco) R 4499 4502 3925 0 -1 4202560 780700 0 0 0 9266 126 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401652943968 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4508] ppid=4499 vsize=4318832 memory=3305528 CPUtime=93.86 cores=0-7
/proc/4502/task/4508/stat : 4508 (cosoco) R 4499 4502 3925 0 -1 4202560 732001 0 0 0 9345 41 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401644551264 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4509] ppid=4499 vsize=4318832 memory=10448 CPUtime=93.94 cores=0-7
/proc/4502/task/4509/stat : 4509 (cosoco) R 4499 4502 3925 0 -1 4202560 760683 0 0 0 9265 129 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401636158560 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4510] ppid=4499 vsize=4318832 memory=10448 CPUtime=93.97 cores=0-7
/proc/4502/task/4510/stat : 4510 (cosoco) R 4499 4502 3925 0 -1 4202560 796316 0 0 0 9349 48 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401627765856 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4511] ppid=4499 vsize=4318832 memory=988 CPUtime=93.95 cores=0-7
/proc/4502/task/4511/stat : 4511 (cosoco) R 4499 4502 3925 0 -1 4202560 680748 0 0 0 9272 123 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401619373152 5037750 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4512] ppid=4499 vsize=4318832 memory=3305528 CPUtime=92.72 cores=0-7
/proc/4502/task/4512/stat : 4512 (cosoco) R 4499 4502 3925 0 -1 4202560 808413 0 0 0 9228 44 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401610980448 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4513] ppid=4499 vsize=4318832 memory=3616 CPUtime=93.88 cores=0-7
/proc/4502/task/4513/stat : 4513 (cosoco) R 4499 4502 3925 0 -1 4202560 745522 0 0 0 9345 43 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401602587744 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4514] ppid=4499 vsize=4318832 memory=10448 CPUtime=93.9 cores=0-7
/proc/4502/task/4514/stat : 4514 (cosoco) R 4499 4502 3925 0 -1 4202560 785573 0 0 0 9263 127 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401594195040 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
Current children cumulated CPU time: 794.73 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3307660 KiB
[startup+140.101 s]
/proc/loadavg: 7.17 6.12 3.90 9/199 4521
/proc/meminfo: memFree=28074756/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=4318832 memory=3307660 CPUtime=807.51 cores=0-7
/proc/4502/stat : 4502 (cosoco) S 4499 4502 3925 0 -1 1077944320 7120875 0 0 0 79958 793 0 0 20 0 9 0 558191522 4422483968 826915 33554432000 4194304 6211132 140733225562480 140733225560736 140401682923255 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 1079708 826915 861 493 0 1073013 0
[pid=4502/tid=4507] ppid=4499 vsize=4318832 memory=3307660 CPUtime=95.52 cores=0-7
/proc/4502/task/4507/stat : 4507 (cosoco) R 4499 4502 3925 0 -1 4202560 780700 0 0 0 9426 126 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401652943968 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4508] ppid=4499 vsize=4318832 memory=3307660 CPUtime=95.43 cores=0-7
/proc/4502/task/4508/stat : 4508 (cosoco) R 4499 4502 3925 0 -1 4202560 732001 0 0 0 9502 41 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401644551264 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4509] ppid=4499 vsize=4318832 memory=3307660 CPUtime=95.54 cores=0-7
/proc/4502/task/4509/stat : 4509 (cosoco) R 4499 4502 3925 0 -1 4202560 760683 0 0 0 9425 129 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401636158560 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4510] ppid=4499 vsize=4318832 memory=-7035114785800479027 CPUtime=95.57 cores=0-7
/proc/4502/task/4510/stat : 4510 (cosoco) R 4499 4502 3925 0 -1 4202560 796316 0 0 0 9509 48 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401627765856 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4511] ppid=4499 vsize=4318832 memory=1804 CPUtime=95.55 cores=0-7
/proc/4502/task/4511/stat : 4511 (cosoco) R 4499 4502 3925 0 -1 4202560 680748 0 0 0 9432 123 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401619373152 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4512] ppid=4499 vsize=4318832 memory=916 CPUtime=94.32 cores=0-7
/proc/4502/task/4512/stat : 4512 (cosoco) R 4499 4502 3925 0 -1 4202560 808413 0 0 0 9388 44 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401610980448 5039549 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4513] ppid=4499 vsize=4318832 memory=3307660 CPUtime=95.48 cores=0-7
/proc/4502/task/4513/stat : 4513 (cosoco) R 4499 4502 3925 0 -1 4202560 745522 0 0 0 9505 43 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401602587744 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4514] ppid=4499 vsize=4318832 memory=1764 CPUtime=95.51 cores=0-7
/proc/4502/task/4514/stat : 4514 (cosoco) R 4499 4502 3925 0 -1 4202560 785573 0 0 0 9424 127 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401594195040 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
Current children cumulated CPU time: 807.51 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3307660 KiB
[startup+140.901 s]*
/proc/loadavg: 7.17 6.12 3.90 9/199 4521
/proc/meminfo: memFree=28074568/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=4318832 memory=3307660 CPUtime=813.96 cores=0-7
/proc/4502/stat : 4502 (cosoco) S 4499 4502 3925 0 -1 1077944320 7120875 0 0 0 80603 793 0 0 20 0 9 0 558191522 4422483968 826915 33554432000 4194304 6211132 140733225562480 140733225560736 140401682923255 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 1079708 826915 861 493 0 1073013 0
[pid=4502/tid=4507] ppid=4499 vsize=4318832 memory=-7035114785800479027 CPUtime=96.33 cores=0-7
/proc/4502/task/4507/stat : 4507 (cosoco) R 4499 4502 3925 0 -1 4202560 780700 0 0 0 9507 126 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401652943968 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4508] ppid=4499 vsize=4318832 memory=4126316290023845779 CPUtime=96.22 cores=0-7
/proc/4502/task/4508/stat : 4508 (cosoco) R 4499 4502 3925 0 -1 4202560 732001 0 0 0 9581 41 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401644551264 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4509] ppid=4499 vsize=4318832 memory=796 CPUtime=96.35 cores=0-7
/proc/4502/task/4509/stat : 4509 (cosoco) R 4499 4502 3925 0 -1 4202560 760683 0 0 0 9506 129 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401636158560 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4510] ppid=4499 vsize=4318832 memory=4104 CPUtime=96.38 cores=0-7
/proc/4502/task/4510/stat : 4510 (cosoco) R 4499 4502 3925 0 -1 4202560 796316 0 0 0 9590 48 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401627765856 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4511] ppid=4499 vsize=4318832 memory=1804 CPUtime=96.36 cores=0-7
/proc/4502/task/4511/stat : 4511 (cosoco) R 4499 4502 3925 0 -1 4202560 680748 0 0 0 9513 123 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401619373152 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4512] ppid=4499 vsize=4318832 memory=916 CPUtime=95.13 cores=0-7
/proc/4502/task/4512/stat : 4512 (cosoco) R 4499 4502 3925 0 -1 4202560 808413 0 0 0 9469 44 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401610980448 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4513] ppid=4499 vsize=4318832 memory=4132 CPUtime=96.29 cores=0-7
/proc/4502/task/4513/stat : 4513 (cosoco) R 4499 4502 3925 0 -1 4202560 745522 0 0 0 9586 43 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401602587744 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4514] ppid=4499 vsize=4318832 memory=288230574492221466 CPUtime=96.31 cores=0-7
/proc/4502/task/4514/stat : 4514 (cosoco) R 4499 4502 3925 0 -1 4202560 785573 0 0 0 9504 127 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401594195040 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
Current children cumulated CPU time: 813.96 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3307660 KiB
[startup+141.701 s]
/proc/loadavg: 7.17 6.12 3.90 9/199 4521
/proc/meminfo: memFree=28074568/32770624 swapFree=67002192/67108860
[pid=4502] ppid=4499 vsize=4318832 memory=3307660 CPUtime=820.28 cores=0-7
/proc/4502/stat : 4502 (cosoco) S 4499 4502 3925 0 -1 1077944320 7120885 0 0 0 81235 793 0 0 20 0 9 0 558191522 4422483968 826915 33554432000 4194304 6211132 140733225562480 140733225560736 140401682923255 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
/proc/4502/statm: 1079708 826915 861 493 0 1073013 0
[pid=4502/tid=4507] ppid=4499 vsize=4318832 memory=636 CPUtime=97.12 cores=0-7
/proc/4502/task/4507/stat : 4507 (cosoco) R 4499 4502 3925 0 -1 4202560 780700 0 0 0 9586 126 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401652943968 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4508] ppid=4499 vsize=4318832 memory=3307660 CPUtime=97.01 cores=0-7
/proc/4502/task/4508/stat : 4508 (cosoco) R 4499 4502 3925 0 -1 4202560 732001 0 0 0 9660 41 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401644551264 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4509] ppid=4499 vsize=4318832 memory=3307660 CPUtime=97.14 cores=0-7
/proc/4502/task/4509/stat : 4509 (cosoco) R 4499 4502 3925 0 -1 4202560 760683 0 0 0 9585 129 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401636158560 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4510] ppid=4499 vsize=4318832 memory=140251620583992 CPUtime=97.17 cores=0-7
/proc/4502/task/4510/stat : 4510 (cosoco) R 4499 4502 3925 0 -1 4202560 796316 0 0 0 9669 48 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401627765856 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4511] ppid=4499 vsize=4318832 memory=7824336315716348491 CPUtime=97.15 cores=0-7
/proc/4502/task/4511/stat : 4511 (cosoco) R 4499 4502 3925 0 -1 4202560 680748 0 0 0 9592 123 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401619373152 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4512] ppid=4499 vsize=4318832 memory=2024 CPUtime=95.92 cores=0-7
/proc/4502/task/4512/stat : 4512 (cosoco) R 4499 4502 3925 0 -1 4202560 808413 0 0 0 9548 44 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401610980448 5039007 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4513] ppid=4499 vsize=4318832 memory=1416 CPUtime=97.08 cores=0-7
/proc/4502/task/4513/stat : 4513 (cosoco) R 4499 4502 3925 0 -1 4202560 745522 0 0 0 9665 43 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401602587744 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
[pid=4502/tid=4514] ppid=4499 vsize=4318832 memory=776 CPUtime=97.1 cores=0-7
/proc/4502/task/4514/stat : 4514 (cosoco) R 4499 4502 3925 0 -1 4202560 785583 0 0 0 9583 127 0 0 20 0 9 0 558195973 4422483968 826915 33554432000 4194304 6211132 140733225562480 140401594195040 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10313728 140733225567249 140733225567341 140733225567341 140733225570254 0
Current children cumulated CPU time: 820.28 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3307660 KiB
[startup+142.109 s]
/proc/loadavg: 7.23 6.15 3.93 2/191 4521
/proc/meminfo: memFree=28645632/32770624 swapFree=67002192/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): 142.188
CPU time (s): 822.427
CPU user time (s): 814.284
CPU system time (s): 8.1433
CPU usage (%): 578.408
Max. virtual memory (cumulated for all children) (KiB): 4318832
Max. memory (cumulated for all children) (KiB): 3307660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 814.284
system time used= 8.1433
maximum resident set size= 3307708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7120925
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= 313
involuntary context switches= 7518
# summary of solver processes directly reported to runsolver:
# pid: 4502
# total CPU time (s): 822.427
# total CPU user time (s): 814.284
# total CPU system time (s): 8.1433
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.705589 second user time and 1.23341 second system time
The end
Begin job on node136 at 2019-09-30 06:56:25 IDJOB=4409324 IDBENCH=121040 IDSOLVER=2877 FILE ID=node136/4409324-1569819429 RUNJOBID= node136-1569818076-3952 PBS_JOBID= 21705924 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-8.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409324-1569819429/watcher-4409324-1569819429 -o /tmp/evaluation-result-4409324-1569819429/solver-4409324-1569819429 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1569818076-3952 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409324-1569819429.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 99ba47a6bc0c62f84cd44bdd38bc871f RANDOM SEED=1827947584 node136.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.00 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.54 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.00 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.54 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.00 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.54 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.00 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31386388 kB MemAvailable: 31852144 kB Buffers: 100024 kB Cached: 686776 kB SwapCached: 3864 kB Active: 561352 kB Inactive: 232772 kB Active(anon): 2900 kB Inactive(anon): 86024 kB Active(file): 558452 kB Inactive(file): 146748 kB Unevictable: 107484 kB Mlocked: 107484 kB SwapTotal: 67108860 kB SwapFree: 67002192 kB Dirty: 89188 kB Writeback: 0 kB AnonPages: 112972 kB Mapped: 26748 kB Shmem: 72848 kB Slab: 182172 kB SReclaimable: 152784 kB SUnreclaim: 29388 kB KernelStack: 3360 kB PageTables: 5056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539968 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 node136 at 2019-09-30 06:58:47