| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | UNSAT | 837.095 | 144.052 |
| 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 |
46.46/44.83 c root propagations : 0 46.46/44.83 c restarts enabled, print stats at every restarts 46.46/44.83 c 46.46/44.83 c 46.46/44.83 c 46.46/44.83 c This is cosoco 2.00 -- 46.46/44.83 c 46.46/44.83 c command line: cosoco -model -nbcores=8 HOME/instance-4398064-1568598983.xml 46.46/44.83 c ========================================[ Problem Statistics ]=========================================== 46.46/44.83 c | 46.46/44.83 c | Parse time : 43.50 s 46.46/44.83 c | 46.46/44.83 c | Variables: 12 46.46/44.83 c | Domain Sizes: 12..12 46.46/44.83 c | 46.46/44.83 c | Constraints: 200 46.46/44.83 c | Arity: 5..5 46.46/44.83 c | 46.46/44.83 c | Types: 46.46/44.83 c | Extension: 200 (nb tuples: 37324..37324) -- (shared: 0) 46.46/44.83 c | 46.46/44.83 c ========================================================================================================= 46.46/44.83 c Parallel mode: Portfolio 46.46/44.83 c [pFactory][Group N°0] created (threads:8). 46.46/44.83 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 46.46/44.83 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 46.46/44.83 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 46.46/44.83 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 46.46/44.83 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 46.46/44.83 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 46.46/44.83 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 46.46/44.83 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 46.46/44.83 c [pFactory][Group N°0] concurrent mode: enabled. 46.46/44.83 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 46.46/44.83 c [pFactory][Group N°0] task 7 launched on thread 0. 46.46/44.83 c [pFactory][Group N°0] task 6 launched on thread 1. 46.46/44.83 c [pFactory][Group N°0] task 5 launched on thread 2. 46.46/44.83 c [pFactory][Group N°0] task 4 launched on thread 7. 46.46/44.83 c [pFactory][Group N°0] task 3 launched on thread 3. 46.46/44.83 c [pFactory][Group N°0] task 2 launched on thread 6. 46.46/44.83 c [pFactory][Group N°0] task 1 launched on thread 5. 46.46/44.83 c [pFactory][Group N°0] task 0 launched on thread 4. 46.46/44.83 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 46.46/44.83 c root propagations : 0 46.46/44.83 c restarts enabled, print stats at every restarts 46.46/44.83 c 46.46/44.83 c 46.46/44.83 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 46.46/44.84 c root propagations : 0 46.46/44.84 c restarts enabled, print stats at every restarts 46.46/44.84 c 46.46/44.84 c 46.46/44.84 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 46.46/44.84 c root propagations : 0 46.46/44.84 c restarts enabled, print stats at every restarts 46.46/44.84 c 46.46/44.84 c 46.46/44.84 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 50.45/45.32 c root propagations : 0 50.45/45.32 c restarts enabled, print stats at every restarts 50.45/45.32 c 50.45/45.32 c 50.45/45.32 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 50.45/45.33 c root propagations : 0 50.45/45.33 c restarts enabled, print stats at every restarts 50.45/45.33 c 50.45/45.33 c 50.45/45.33 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 50.45/45.34 c root propagations : 0 50.45/45.34 c restarts enabled, print stats at every restarts 50.45/45.34 c 50.45/45.34 c 50.45/45.34 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 50.45/45.37 c root propagations : 0 50.45/45.37 c restarts enabled, print stats at every restarts 50.45/45.37 c 50.45/45.37 c 50.45/45.37 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 72.06/48.06 c 32 36 5414 2936 0 0 3 3 2 73.59/48.29 c 32 36 6808 2936 0 0 3 3 2 75.19/48.48 c 33 39 6173 3027 0 0 3 3 1 76.78/48.60 c 33 39 7208 3019 0 0 3 3 1 83.97/49.56 c 32 39 12708 2757 0 0 3 4 3 86.37/49.82 c 33 42 13005 2842 0 0 3 3 1 90.36/50.33 c 32 46 16975 2638 0 0 3 4 3 93.56/50.78 c 33 49 17394 2723 0 0 3 3 1 100.73/51.62 c 64 74 13805 5595 0 0 3 3 2 103.12/51.96 c 65 77 14205 5678 0 0 3 3 1 105.52/52.29 c 66 80 14589 5760 0 0 3 3 1 108.71/52.60 c 67 83 14989 5843 0 0 3 3 1 110.30/52.86 c 64 77 20680 5553 0 0 3 3 2 113.50/53.22 c 65 80 21088 5655 0 0 3 3 1 114.30/53.31 c 64 83 22218 5695 0 0 3 4 3 115.89/53.57 c 66 83 21507 5757 0 0 3 3 1 115.89/53.58 c 65 86 22548 5795 0 0 3 3 1 119.09/53.94 c 67 86 21915 5859 0 0 3 3 1 119.09/53.97 c 66 89 23307 5886 0 0 3 3 1 122.28/54.39 c 67 92 24081 5977 0 0 3 3 1 128.74/55.17 c 64 84 25148 5351 0 0 3 3 2 131.86/55.54 c 101 125 35875 7784 0 0 3 4 3 131.86/55.54 c 101 112 19706 9081 0 0 3 3 2 132.66/55.60 c 65 87 25567 5436 0 0 3 3 1 135.06/55.94 c 66 90 25909 5515 0 0 3 3 1 138.24/56.32 c 67 93 26328 5600 0 0 3 3 1 147.82/57.54 c 101 114 28328 8495 0 0 3 4 3 150.22/57.86 c 101 114 29261 8794 0 0 3 4 3 176.64/61.19 c 128 164 40950 11574 0 0 3 4 3 178.96/61.45 c 129 167 41240 11663 0 0 3 3 1 181.36/61.72 c 130 170 41552 11740 0 0 3 3 1 182.95/61.97 c 131 173 41842 11829 0 0 3 3 1 183.87/62.05 c 128 151 29046 10777 0 0 3 3 2 185.33/62.24 c 132 176 42154 11906 0 0 3 3 1 186.93/62.46 c 129 154 29415 10872 0 0 3 3 1 186.93/62.49 c 133 179 42444 11995 0 0 3 3 1 189.34/62.77 c 134 182 42756 12072 0 0 3 3 1 190.13/62.87 c 130 157 29788 10967 0 0 3 3 1 191.79/63.02 c 135 185 43046 12161 0 0 3 3 1 193.32/63.26 c 131 160 30157 11062 0 0 3 3 1 196.52/63.65 c 132 163 30530 11157 0 0 3 3 1 199.78/64.04 c 133 166 30899 11252 0 0 3 3 1 200.57/64.17 c 211 246 55651 17720 0 0 3 3 2 202.90/64.44 c 134 169 31272 11347 0 0 3 3 1 206.10/64.83 c 135 172 31641 11442 0 0 3 3 1 209.28/65.24 c 128 160 52389 11523 0 0 3 4 3 210.09/65.36 c 128 161 41712 10911 0 0 3 3 2 213.29/65.74 c 129 163 53034 11618 0 0 3 3 1 213.29/65.78 c 129 164 42131 10996 0 0 3 3 1 216.54/66.12 c 130 167 42473 11075 0 0 3 3 1 217.27/66.24 c 130 166 53686 11713 0 0 3 3 1 219.67/66.51 c 131 170 42892 11160 0 0 3 3 1 221.27/66.72 c 131 169 54331 11808 0 0 3 3 1 222.09/66.85 c 132 173 43234 11239 0 0 3 3 1 222.09/66.85 c 211 233 42579 19265 0 0 3 3 2 225.24/67.21 c 132 172 54983 11903 0 0 3 3 1 225.24/67.25 c 133 176 43653 11324 0 0 3 3 1 227.65/67.59 c 134 179 43995 11403 0 0 3 3 1 228.44/67.69 c 133 175 55628 11998 0 0 3 3 1 230.85/67.99 c 135 183 44926 11472 0 0 4 4 2 232.50/68.17 c 134 178 56280 12093 0 0 3 3 1 235.63/68.56 c 211 236 47822 18486 0 0 3 4 2 236.43/68.65 c 135 181 56925 12188 0 0 3 3 1 275.55/73.53 c 256 318 67435 23400 0 0 3 3 2 277.94/73.80 c 257 321 67725 23489 0 0 3 3 1 279.60/74.08 c 258 324 68048 23576 0 0 3 3 1 281.92/74.32 c 259 327 68338 23665 0 0 3 3 1 284.33/74.60 c 260 330 68661 23752 0 0 3 3 1 285.93/74.85 c 261 333 68951 23841 0 0 3 3 1 286.72/74.99 c 211 238 67136 18630 0 0 3 4 3 288.39/75.13 c 262 336 69274 23928 0 0 3 3 1 289.91/75.35 c 332 379 79676 28507 0 0 3 3 2 289.91/75.37 c 263 339 69564 24017 0 0 3 3 1 292.31/75.64 c 264 342 69887 24104 0 0 3 3 1 293.91/75.88 c 265 345 70177 24193 0 0 3 3 1 296.37/76.16 c 266 348 70500 24280 0 0 3 3 1 297.90/76.40 c 267 351 70790 24369 0 0 3 3 1 300.29/76.67 c 268 354 71113 24456 0 0 3 3 1 302.69/76.91 c 269 357 71403 24545 0 0 3 3 1 304.35/77.18 c 270 360 71726 24632 0 0 3 3 1 306.72/77.42 c 271 363 72016 24721 0 0 3 3 1 328.30/80.13 c 332 371 77311 29099 0 0 3 4 3 337.02/81.27 c 332 366 68193 30438 0 0 3 3 2 371.34/85.58 c 256 317 75720 22197 0 0 3 4 2 375.40/86.01 c 257 321 76651 22266 0 0 4 4 2 376.19/86.18 c 256 342 110433 21666 0 0 3 4 3 377.73/86.34 c 258 324 76993 22345 0 0 3 3 1 380.13/86.66 c 257 346 111130 21718 0 0 4 4 2 380.92/86.74 c 259 328 77924 22414 0 0 4 4 2 384.91/87.26 c 260 331 78356 22493 1 0 3 3 1 385.71/87.37 c 258 349 111735 21797 1 0 3 3 1 388.10/87.70 c 465 527 106970 40140 2 0 3 3 2 389.70/87.87 c 261 334 78998 22575 2 0 3 3 1 391.36/88.01 c 259 353 112867 21864 2 0 4 4 2 393.69/88.31 c 262 337 79543 22656 2 0 3 3 1 393.69/88.34 c 260 356 113166 21952 2 0 3 3 1 396.89/88.73 c 263 340 80103 22737 2 0 3 3 1 397.69/88.85 c 261 359 113818 22047 2 0 3 3 1 400.14/89.17 c 264 343 80648 22818 2 0 3 3 1 401.67/89.34 c 262 362 114463 22142 2 0 3 3 1 403.27/89.59 c 265 346 81208 22899 2 0 3 3 1 404.87/89.79 c 263 366 115514 22208 2 0 4 4 2 407.33/90.04 c 266 349 81753 22980 2 0 3 3 1 408.12/90.12 c 264 369 115813 22296 2 0 3 3 1 410.46/90.47 c 267 352 82313 23061 2 0 3 3 1 411.25/90.56 c 265 373 116864 22362 2 0 4 4 2 412.85/90.77 c 256 312 75435 21671 0 0 3 4 3 413.66/90.89 c 266 376 117163 22450 2 0 3 3 1 414.45/90.91 c 268 355 82858 23142 2 0 3 3 1 417.64/91.33 c 267 380 118214 22516 2 0 4 4 2 417.64/91.34 c 269 358 83418 23223 2 0 3 3 1 419.23/91.57 c 332 371 100584 29256 0 0 3 3 2 420.04/91.62 c 257 315 76015 21751 2 0 3 3 1 420.04/91.66 c 268 383 118513 22604 2 0 3 3 1 420.84/91.77 c 270 361 83963 23304 2 0 3 3 1 423.30/92.08 c 258 318 76437 21829 2 0 3 3 1 423.30/92.10 c 269 387 119564 22670 2 0 4 4 2 424.09/92.20 c 271 364 84523 23385 2 0 3 3 1 426.42/92.42 c 270 390 119863 22758 2 0 3 3 1 427.22/92.54 c 259 321 76875 21907 2 0 3 3 1 429.62/92.86 c 271 394 120914 22824 2 0 4 4 2 430.42/92.98 c 260 324 77297 21985 2 0 3 3 1 434.40/93.44 c 261 327 77735 22063 2 0 3 3 1 437.60/93.89 c 262 330 78157 22141 2 0 3 3 1 441.58/94.35 c 263 333 78595 22219 2 0 3 3 1 444.84/94.79 c 264 336 79017 22297 2 0 3 3 1 448.77/95.25 c 465 519 107140 41002 3 0 3 3 2 450.37/95.44 c 265 339 79540 22376 3 0 3 3 1 453.57/95.86 c 266 342 79962 22454 3 0 3 3 1 454.38/95.90 c 512 629 116612 47543 1 0 3 3 2 457.54/96.31 c 267 345 80400 22532 3 0 3 3 1 458.34/96.46 c 513 632 117106 47635 3 0 3 3 1 460.73/96.71 c 514 635 117417 47729 3 0 3 3 1 460.73/96.72 c 268 348 80822 22610 3 0 3 3 1 463.19/97.02 c 515 638 117774 47819 3 0 3 3 1 463.99/97.17 c 269 351 81260 22688 3 0 3 3 1 464.72/97.27 c 516 641 118085 47913 3 0 3 3 1 467.12/97.59 c 270 354 81682 22766 3 0 3 3 1 467.12/97.59 c 517 644 118442 48003 3 0 3 3 1 469.51/97.85 c 518 647 118753 48097 3 0 3 3 1 471.17/98.03 c 271 357 82120 22844 3 0 3 3 1 471.97/98.16 c 519 650 119110 48187 3 0 3 3 1 475.09/98.53 c 520 653 119506 48282 3 0 3 3 1 477.49/98.84 c 521 656 119863 48372 3 0 3 3 1 479.15/99.09 c 522 659 120174 48466 3 0 3 3 1 482.28/99.40 c 523 662 120531 48556 3 0 3 3 1 483.88/99.65 c 524 665 120842 48650 3 0 3 3 1 486.28/99.96 c 525 668 121199 48740 3 0 3 3 1 488.67/100.22 c 526 671 121510 48834 3 0 3 3 1 490.27/100.44 c 611 689 134417 52970 3 0 3 3 2 491.07/100.53 c 527 674 121867 48924 3 0 3 3 1 492.66/100.77 c 528 677 122178 49018 3 0 3 3 1 495.13/101.08 c 529 680 122535 49108 3 0 3 3 1 497.45/101.33 c 530 683 122846 49202 3 0 3 3 1 499.85/101.64 c 531 686 123203 49292 3 0 3 3 1 501.45/101.89 c 532 689 123514 49386 3 0 3 3 1 503.91/102.20 c 533 692 123871 49476 3 0 3 3 1 506.23/102.44 c 534 695 124182 49570 3 0 3 3 1 508.63/102.75 c 535 698 124539 49660 3 0 3 3 1 510.23/102.99 c 536 701 124850 49754 3 0 3 3 1 514.22/103.44 c 537 704 125279 49855 4 0 3 3 1 515.82/103.68 c 538 707 125575 49949 4 0 3 3 1 518.20/103.92 c 465 514 107592 41728 4 0 3 3 2 518.20/103.97 c 539 710 125918 50049 4 0 3 3 1 520.59/104.21 c 540 713 126214 50143 4 0 3 3 1 522.99/104.50 c 541 716 126557 50243 4 0 3 3 1 524.59/104.74 c 542 719 126853 50337 4 0 3 3 1 527.05/105.03 c 543 722 127196 50437 4 0 3 3 1 562.90/109.57 c 611 682 131580 54096 5 0 3 4 2 563.70/109.63 c 465 520 136172 40826 5 0 3 4 2 593.24/113.39 c 771 867 161438 67023 5 0 3 3 2 641.14/119.31 c 611 677 136931 54952 6 0 3 3 2 661.11/121.88 c 512 692 197175 43163 4 0 3 4 3 666.73/122.58 c 513 695 197741 43252 7 0 3 3 1 669.09/122.87 c 514 698 198116 43321 7 0 3 3 1 671.55/123.16 c 515 701 198483 43402 7 0 3 3 1 673.08/123.39 c 512 623 136852 42056 6 0 3 3 2 673.94/123.49 c 516 704 198855 43471 7 0 3 3 1 677.08/123.83 c 517 707 199218 43541 7 0 3 3 1 677.88/123.98 c 513 626 137397 42130 7 0 3 3 1 678.74/124.09 c 518 710 199593 43609 7 0 3 3 1 679.54/124.19 c 771 860 163761 68150 7 0 3 3 2 680.26/124.25 c 514 629 137732 42205 7 0 3 3 1 681.06/124.36 c 519 713 199960 43689 7 0 3 3 1 682.71/124.54 c 515 632 138087 42281 7 0 3 3 1 682.71/124.56 c 520 716 200246 43756 7 0 3 3 1 684.24/124.77 c 521 719 200519 43825 7 0 3 3 1 685.04/124.80 c 516 635 138422 42356 7 0 3 3 1 685.84/124.97 c 522 722 200805 43892 7 0 3 3 1 686.70/125.10 c 517 638 138777 42432 7 0 3 3 1 687.52/125.17 c 523 725 201078 43961 7 0 3 3 1 689.03/125.35 c 518 641 139112 42507 7 0 3 3 1 689.03/125.37 c 524 728 201364 44028 7 0 3 3 1 690.71/125.57 c 525 731 201637 44097 7 0 3 3 1 691.43/125.64 c 519 644 139467 42583 7 0 3 3 1 693.03/125.89 c 526 734 202005 44165 7 0 3 3 1 694.69/126.02 c 520 647 139884 42658 7 0 3 3 1 694.69/126.09 c 527 737 202278 44234 7 0 3 3 1 695.49/126.11 c 947 1066 194720 81945 7 0 3 3 2 696.22/126.28 c 528 740 202564 44301 7 0 3 3 1 696.22/126.30 c 521 650 140239 42733 7 0 3 3 1 697.82/126.47 c 529 743 202837 44370 7 0 3 3 1 698.62/126.55 c 522 653 140574 42807 7 0 3 3 1 699.42/126.67 c 530 746 203123 44437 7 0 3 3 1 699.42/126.68 c 512 676 182270 43391 7 0 2 4 3 701.01/126.82 c 523 656 140929 42882 7 0 3 3 1 701.01/126.86 c 531 749 203396 44506 7 0 3 3 1 701.81/126.99 c 611 685 169057 53428 7 0 3 4 2 702.67/127.05 c 532 752 203682 44573 7 0 3 3 1 702.67/127.08 c 524 659 141264 42956 7 0 3 3 1 703.47/127.13 c 513 679 182704 43448 7 0 3 3 1 704.19/127.25 c 533 755 203955 44642 7 0 3 3 1 704.99/127.32 c 514 682 182981 43510 7 0 3 3 1 704.99/127.36 c 525 662 141619 43031 7 0 3 3 1 705.80/127.44 c 534 758 204241 44709 7 0 3 3 1 706.60/127.52 c 515 685 183245 43563 7 0 3 3 1 707.40/127.61 c 526 665 141954 43105 7 0 3 3 1 707.40/127.64 c 535 761 204514 44778 7 0 3 3 1 708.19/127.71 c 516 688 183522 43625 7 0 3 3 1 708.99/127.83 c 536 764 204800 44845 7 0 3 3 1 708.99/127.89 c 527 668 142309 43180 7 0 3 3 1 708.99/127.90 c 517 691 183786 43678 7 0 3 3 1 710.65/128.02 c 537 767 205073 44914 7 0 3 3 1 710.65/128.09 c 518 694 184063 43740 7 0 3 3 1 711.45/128.15 c 528 671 142644 43254 7 0 3 3 1 712.18/128.21 c 538 770 205359 44981 7 0 3 3 1 712.18/128.28 c 519 697 184327 43793 7 0 3 3 1 713.78/128.41 c 539 773 205632 45050 7 0 3 3 1 713.78/128.43 c 529 674 142999 43329 7 0 3 3 1 713.78/128.47 c 520 700 184604 43855 7 0 3 3 1 715.38/128.60 c 540 776 205918 45117 7 0 3 3 1 715.38/128.66 c 521 703 184868 43908 7 0 3 3 1 715.38/128.67 c 530 677 143334 43403 7 0 3 3 1 716.18/128.80 c 541 779 206191 45186 7 0 3 3 1 716.98/128.85 c 522 706 185145 43970 7 0 3 3 1 717.78/128.91 c 1000 1127 203964 86225 7 0 3 3 2 717.78/128.95 c 531 680 143689 43478 7 0 3 3 1 717.78/128.99 c 542 782 206477 45253 7 0 3 3 1 718.64/129.05 c 523 709 185409 44023 7 0 3 3 1 719.44/129.19 c 543 785 206750 45322 7 0 3 3 1 720.16/129.21 c 532 683 144024 43552 7 0 3 3 1 720.16/129.24 c 524 712 185686 44085 7 0 3 3 1 722.55/129.52 c 525 715 186060 44161 7 0 3 3 1 723.35/129.61 c 533 686 144468 43631 7 0 3 3 1 723.35/129.69 c 526 718 186346 44254 7 0 3 3 1 724.95/129.84 c 534 689 144799 43713 7 0 3 3 1 724.95/129.86 c 527 721 186630 44329 7 0 3 3 1 726.61/130.03 c 528 724 186916 44422 7 0 3 3 1 727.41/130.12 c 535 692 145153 43791 7 0 3 3 1 728.14/130.26 c 529 727 187275 44480 7 0 3 3 1 729.75/130.41 c 530 730 187549 44536 7 0 3 3 1 729.75/130.43 c 536 695 145567 43864 7 0 3 3 1 730.55/130.56 c 531 733 187823 44592 7 0 3 3 1 731.35/130.67 c 537 698 145919 43947 7 0 3 3 1 732.14/130.71 c 532 736 188097 44648 7 0 3 3 1 732.94/130.87 c 533 739 188371 44704 7 0 3 3 1 732.94/130.89 c 538 701 146248 44018 7 0 3 3 1 734.60/131.02 c 534 742 188645 44760 7 0 3 3 1 735.40/131.14 c 539 704 146600 44101 7 0 3 3 1 735.40/131.17 c 535 745 188919 44816 7 0 3 3 1 736.93/131.32 c 536 748 189193 44872 7 0 3 3 1 736.93/131.36 c 540 707 146929 44172 7 0 3 3 1 737.73/131.48 c 537 751 189467 44928 7 0 3 3 1 739.33/131.61 c 541 710 147281 44255 7 0 3 3 1 739.33/131.63 c 538 754 189741 44984 7 0 3 3 1 740.13/131.78 c 539 757 190015 45040 7 0 3 3 1 740.92/131.82 c 542 713 147610 44326 7 0 3 3 1 741.72/131.93 c 540 760 190289 45096 7 0 3 3 1 743.38/132.17 c 543 716 148052 44410 7 0 3 3 1 743.38/132.19 c 541 763 190684 45189 7 0 3 3 1 744.91/132.39 c 542 766 191027 45272 7 0 3 3 1 746.51/132.55 c 543 769 191332 45364 7 0 3 3 1 748.11/132.74 c 771 856 166883 68522 7 0 3 3 2 768.86/135.35 c 947 1057 188732 82026 7 0 3 3 2 772.06/135.78 c 1000 1237 212399 91152 7 0 3 3 2 778.44/136.58 c 1140 1287 225475 96912 7 0 3 3 2 783.29/137.19 c 1024 1266 217197 93149 7 0 3 3 2 784.82/137.35 c 1025 1269 217583 93232 7 0 3 3 1 786.42/137.53 c 1026 1272 217937 93307 7 0 3 3 1 788.02/137.74 c 1027 1275 218333 93390 7 0 3 3 1 788.82/137.85 c 1028 1278 218612 93466 7 0 3 3 1 790.48/138.03 c 1029 1281 218995 93548 7 0 3 3 1 791.28/138.12 c 1000 1119 199229 86127 7 0 3 3 2 791.28/138.14 c 1030 1284 219274 93623 7 0 3 3 1 792.01/138.25 c 1031 1287 219575 93704 7 0 3 3 1 792.81/138.36 c 1032 1290 219854 93779 7 0 3 3 1 793.61/138.48 c 1033 1293 220155 93860 7 0 3 3 1 795.21/138.64 c 1034 1296 220518 93925 7 0 3 3 1 796.01/138.75 c 1035 1299 220814 93992 7 0 3 3 1 796.86/138.86 c 1036 1302 221091 94056 7 0 3 3 1 797.60/138.96 c 1037 1305 221387 94123 7 0 3 3 1 798.46/139.07 c 1038 1308 221664 94187 7 0 3 3 1 799.25/139.17 c 1039 1311 221960 94254 7 0 3 3 1 799.98/139.22 c 771 872 203978 67555 7 0 3 3 2 799.98/139.28 c 1040 1314 222237 94318 7 0 3 3 1 800.78/139.39 c 1041 1317 222533 94385 7 0 3 3 1 801.58/139.49 c 1042 1320 222810 94449 7 0 3 3 1 803.18/139.60 c 1043 1323 223106 94516 7 0 3 3 1 803.98/139.70 c 1044 1326 223383 94580 7 0 3 3 1 804.78/139.81 c 1045 1329 223679 94647 7 0 3 3 1 805.59/139.92 c 1046 1332 223956 94711 7 0 3 3 1 806.45/140.07 c 1047 1335 224342 94780 7 0 3 3 1 807.97/140.26 c 1048 1338 224754 94860 7 0 3 3 1 808.77/140.36 c 1049 1341 225050 94929 7 0 3 3 1 809.57/140.48 c 1050 1344 225380 95008 7 0 3 3 1 811.16/140.66 c 1051 1347 225815 95081 7 0 3 3 1 812.77/140.83 c 1052 1350 226283 95164 7 0 3 3 1 813.56/140.91 c 1053 1353 226578 95235 7 0 3 3 1 814.45/141.02 c 1054 1356 226908 95316 7 0 3 3 1 814.45/141.09 c 1055 1359 227203 95387 7 0 3 3 1 815.94/141.20 c 1056 1362 227533 95468 7 0 3 3 1 815.94/141.28 c 1057 1365 227828 95539 7 0 3 3 1 816.74/141.38 c 1058 1368 228158 95620 7 0 3 3 1 817.54/141.46 c 1059 1371 228453 95691 7 0 3 3 1 819.14/141.62 c 1060 1374 228911 95773 7 0 3 3 1 819.94/141.70 c 1061 1377 229206 95843 7 0 3 3 1 820.73/141.83 c 1062 1380 229582 95924 7 0 3 3 1 820.73/141.90 c 1063 1383 229877 95994 7 0 3 3 1 822.40/142.01 c 1064 1386 230253 96075 7 0 3 3 1 822.40/142.09 c 1065 1389 230548 96145 7 0 3 3 1 823.92/142.21 c 1066 1392 230924 96226 7 0 3 3 1 823.92/142.29 c 1067 1395 231219 96296 7 0 3 3 1 825.52/142.41 c 1068 1398 231595 96377 7 0 3 3 1 825.52/142.48 c 1069 1401 231890 96447 7 0 3 3 1 827.12/142.60 c 947 1052 197535 82184 7 0 3 3 2 827.12/142.60 c 1070 1404 232266 96528 7 0 3 3 1 827.12/142.68 c 1071 1407 232561 96598 7 0 3 3 1 828.72/142.80 c 1072 1410 232937 96679 7 0 3 3 1 829.52/142.92 c 1073 1413 233372 96745 7 0 3 3 1 831.18/143.12 c 1074 1416 234143 96835 7 0 3 3 1 831.90/143.21 c 1075 1419 234593 96921 7 0 3 3 1 832.70/143.39 c 1076 1422 235252 97001 8 0 3 3 1 833.50/143.49 c 1077 1425 235741 97075 8 0 3 3 1 834.30/143.57 c 1078 1426 235992 97118 8 0 1 1 0 835.90/143.73 c 1079 1429 236861 97232 8 0 3 3 1 836.70/143.80 c 1080 1432 237280 97275 8 0 3 3 1 836.70/143.84 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 2. 836.70/143.84 c [pFactory][Group N°0] Thread N°0 is joined. 836.70/143.84 c [pFactory][Group N°0] Thread N°1 is joined. 836.70/143.84 c [pFactory][Group N°0] Thread N°2 is joined. 836.70/143.84 c [pFactory][Group N°0] Thread N°3 is joined. 836.70/143.84 c [pFactory][Group N°0] Thread N°4 is joined. 836.70/143.84 c [pFactory][Group N°0] Thread N°5 is joined. 836.70/143.84 c [pFactory][Group N°0] Thread N°6 is joined. 836.70/143.84 c [pFactory][Group N°0] Thread N°7 is joined. 836.70/143.84 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°6) 836.70/143.84 s UNSATISFIABLE 836.70/143.84 c restarts : 62 836.70/143.84 c conflicts : 720 (1 /sec) 836.70/143.84 c decisions : 983 (1 /sec) 836.70/143.84 c propagations : 60830 (73 /sec) 836.70/143.84 c root propagations : 0 836.70/143.84 c filter calls : 231091 (279 /sec) 836.70/143.84 c useless filter calls : 210435 (91 %) 836.70/143.84 c Memory used : 4185.60 MB 836.70/143.84 c CPU time : 829.186 s 836.70/143.84 c real time : 143.835 s 836.70/143.84
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 (14761 MiB free)
memory of node 1: 16384 MiB (14894 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398064-1568598983/watcher-4398064-1568598983 -o /tmp/evaluation-result-4398064-1568598983/solver-4398064-1568598983 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568596419-18108 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398064-1568598983.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=18398, runsolver pid=18395
[startup+0.100148 s]*
/proc/loadavg: 8.11 8.35 7.93 2/191 18399
/proc/meminfo: memFree=30365620/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=28712 memory=4764 CPUtime=0.1 cores=0-7
/proc/18398/stat : 18398 (cosoco) R 18395 18398 18080 0 -1 4202496 1513 0 0 0 10 0 0 0 20 0 1 0 436145787 29401088 1191 33554432000 4194304 6211092 140721959563760 140721959560296 5743366 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/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.20922 s]*
/proc/loadavg: 8.11 8.35 7.93 2/191 18399
/proc/meminfo: memFree=30353716/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=44472 memory=18332 CPUtime=0.2 cores=0-7
/proc/18398/stat : 18398 (cosoco) R 18395 18398 18080 0 -1 4202496 5117 0 0 0 20 0 0 0 20 0 1 0 436145787 45539328 4583 33554432000 4194304 6211092 140721959563760 140721959560296 5193696 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 11118 4583 808 493 0 4423 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44472 KiB
Current children cumulated memory: 18332 KiB
[startup+0.309552 s]*
/proc/loadavg: 8.11 8.35 7.93 2/191 18399
/proc/meminfo: memFree=30348508/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=46980 memory=21092 CPUtime=0.3 cores=0-7
/proc/18398/stat : 18398 (cosoco) R 18395 18398 18080 0 -1 4202496 5993 0 0 0 30 0 0 0 20 0 1 0 436145787 48107520 5273 33554432000 4194304 6211092 140721959563760 140721959560296 139986633770112 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 11745 5273 808 493 0 5050 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46980 KiB
Current children cumulated memory: 21092 KiB
[startup+0.700283 s]
/proc/loadavg: 8.11 8.35 7.93 2/191 18399
/proc/meminfo: memFree=30334100/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=80848 memory=49864 CPUtime=0.68 cores=0-7
/proc/18398/stat : 18398 (cosoco) R 18395 18398 18080 0 -1 4202496 13231 0 0 0 67 1 0 0 20 0 1 0 436145787 82788352 12466 33554432000 4194304 6211092 140721959563760 140721959560296 5814111 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 20212 12466 808 493 0 13517 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 80848 KiB
Current children cumulated memory: 49864 KiB
[startup+1.50038 s]
/proc/loadavg: 8.11 8.35 7.93 2/191 18399
/proc/meminfo: memFree=30306448/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=130888 memory=92896 CPUtime=1.49 cores=0-7
/proc/18398/stat : 18398 (cosoco) R 18395 18398 18080 0 -1 4202496 23973 0 0 0 146 3 0 0 20 0 1 0 436145787 134029312 23224 33554432000 4194304 6211092 140721959563760 140721959561032 5817752 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 32722 23224 808 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.10972 s]
/proc/loadavg: 8.11 8.35 7.93 2/191 18399
/proc/meminfo: memFree=30137148/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=258688 memory=204388 CPUtime=3.1 cores=0-7
/proc/18398/stat : 18398 (cosoco) R 18395 18398 18080 0 -1 4202496 53002 0 0 0 303 7 0 0 20 0 1 0 436145787 264896512 51097 33554432000 4194304 6211092 140721959563760 140721959561032 5817471 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 64672 51097 809 493 0 57977 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 258688 KiB
Current children cumulated memory: 204388 KiB
[startup+6.30036 s]
/proc/loadavg: 7.54 8.23 7.89 2/192 18401
/proc/meminfo: memFree=29981400/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=485028 memory=400908 CPUtime=6.28 cores=0-7
/proc/18398/stat : 18398 (cosoco) R 18395 18398 18080 0 -1 4202496 103363 0 0 0 614 14 0 0 20 0 1 0 436145787 496668672 100227 33554432000 4194304 6211092 140721959563760 140721959561032 5818634 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 121257 100227 809 493 0 114562 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 485028 KiB
Current children cumulated memory: 400908 KiB
[startup+12.7004 s]
/proc/loadavg: 7.02 8.11 7.85 2/191 18401
/proc/meminfo: memFree=29601872/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=953876 memory=808072 CPUtime=12.69 cores=0-7
/proc/18398/stat : 18398 (cosoco) R 18395 18398 18080 0 -1 4202496 205907 0 0 0 1242 27 0 0 20 0 1 0 436145787 976769024 202018 33554432000 4194304 6211092 140721959563760 140721959561032 5817123 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 238469 202018 809 493 0 231774 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 953876 KiB
Current children cumulated memory: 808072 KiB
[startup+25.5004 s]
/proc/loadavg: 5.69 7.76 7.74 2/191 18401
/proc/meminfo: memFree=28771940/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=1891572 memory=1622200 CPUtime=25.49 cores=0-7
/proc/18398/stat : 18398 (cosoco) R 18395 18398 18080 0 -1 4202496 409527 0 0 0 2497 52 0 0 20 0 1 0 436145787 1936969728 405550 33554432000 4194304 6211092 140721959563760 140721959561032 5816696 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 472893 405550 809 493 0 466198 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1891572 KiB
Current children cumulated memory: 1622200 KiB
[startup+51.1112 s]
/proc/loadavg: 4.65 7.33 7.60 9/199 18409
/proc/meminfo: memFree=27084304/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=4318832 memory=3279680 CPUtime=96.81 cores=0-7
/proc/18398/stat : 18398 (cosoco) S 18395 18398 18080 0 -1 1077944320 3135545 0 0 0 9147 534 0 0 20 0 9 0 436145787 4422483968 819920 33554432000 4194304 6211092 140721959563760 140721959562016 139986633748215 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 1079708 819920 860 493 0 1073013 0
[pid=18398/tid=18402] ppid=18395 vsize=4318832 memory=3279680 CPUtime=6.54 cores=0-7
/proc/18398/task/18402/stat : 18402 (cosoco) R 18395 18398 18080 0 -1 4202560 195300 0 0 0 572 82 0 0 20 0 9 0 436150243 4422483968 819920 33554432000 4194304 6211092 140721959563760 139986603769208 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18403] ppid=18395 vsize=4318832 memory=0 CPUtime=6.54 cores=0-7
/proc/18398/task/18403/stat : 18403 (cosoco) R 18395 18398 18080 0 -1 4202560 289055 0 0 0 638 16 0 0 20 0 9 0 436150243 4422483968 819920 33554432000 4194304 6211092 140721959563760 139986595376504 5039026 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18404] ppid=18395 vsize=4318832 memory=3279680 CPUtime=6.54 cores=0-7
/proc/18398/task/18404/stat : 18404 (cosoco) R 18395 18398 18080 0 -1 4202560 230773 0 0 0 561 93 0 0 20 0 9 0 436150243 4422483968 819920 33554432000 4194304 6211092 140721959563760 139986586983800 5039210 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18405] ppid=18395 vsize=4318832 memory=280206485340608 CPUtime=6.54 cores=0-7
/proc/18398/task/18405/stat : 18405 (cosoco) R 18395 18398 18080 0 -1 4202560 274246 0 0 0 640 14 0 0 20 0 9 0 436150243 4422483968 819920 33554432000 4194304 6211092 140721959563760 139986578590816 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18406] ppid=18395 vsize=4318832 memory=0 CPUtime=6.53 cores=0-7
/proc/18398/task/18406/stat : 18406 (cosoco) R 18395 18398 18080 0 -1 4202560 245809 0 0 0 562 91 0 0 20 0 9 0 436150243 4422483968 819920 33554432000 4194304 6211092 140721959563760 139986570198112 5038982 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18407] ppid=18395 vsize=4318832 memory=0 CPUtime=6.44 cores=0-7
/proc/18398/task/18407/stat : 18407 (cosoco) R 18395 18398 18080 0 -1 4202560 309407 0 0 0 627 17 0 0 20 0 9 0 436150243 4422483968 819920 33554432000 4194304 6211092 140721959563760 139986561805408 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18408] ppid=18395 vsize=4318832 memory=3580 CPUtime=6.54 cores=0-7
/proc/18398/task/18408/stat : 18408 (cosoco) R 18395 18398 18080 0 -1 4202560 285139 0 0 0 557 97 0 0 20 0 9 0 436150243 4422483968 819920 33554432000 4194304 6211092 140721959563760 139986553412704 5039070 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18409] ppid=18395 vsize=4318832 memory=45760 CPUtime=6.53 cores=0-7
/proc/18398/task/18409/stat : 18409 (cosoco) R 18395 18398 18080 0 -1 4202560 270807 0 0 0 638 15 0 0 20 0 9 0 436150243 4422483968 819920 33554432000 4194304 6211092 140721959563760 139986545020280 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
Current children cumulated CPU time: 96.81 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3279680 KiB
[startup+102.301 s]
/proc/loadavg: 6.54 7.43 7.62 9/199 18414
/proc/meminfo: memFree=27076516/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=4318832 memory=3286372 CPUtime=505.43 cores=0-7
/proc/18398/stat : 18398 (cosoco) S 18395 18398 18080 0 -1 1077944320 6339898 0 0 0 49817 726 0 0 20 0 9 0 436145787 4422483968 821593 33554432000 4194304 6211092 140721959563760 140721959562016 139986633748215 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 1079708 821593 861 493 0 1073013 0
[pid=18398/tid=18402] ppid=18395 vsize=4318832 memory=3286372 CPUtime=57.7 cores=0-7
/proc/18398/task/18402/stat : 18402 (cosoco) R 18395 18398 18080 0 -1 4202560 580987 0 0 0 5657 113 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986603768928 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18403] ppid=18395 vsize=4318832 memory=0 CPUtime=57.72 cores=0-7
/proc/18398/task/18403/stat : 18403 (cosoco) R 18395 18398 18080 0 -1 4202560 687498 0 0 0 5735 37 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986595376224 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18404] ppid=18395 vsize=4318832 memory=3284212 CPUtime=57.72 cores=0-7
/proc/18398/task/18404/stat : 18404 (cosoco) R 18395 18398 18080 0 -1 4202560 646745 0 0 0 5649 123 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986586983520 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18405] ppid=18395 vsize=4318832 memory=280206485495392 CPUtime=57.28 cores=0-7
/proc/18398/task/18405/stat : 18405 (cosoco) R 18395 18398 18080 0 -1 4202560 691792 0 0 0 5693 35 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986578590816 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18406] ppid=18395 vsize=4318832 memory=33 CPUtime=57.7 cores=0-7
/proc/18398/task/18406/stat : 18406 (cosoco) R 18395 18398 18080 0 -1 4202560 647565 0 0 0 5652 118 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986570198112 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18407] ppid=18395 vsize=4318832 memory=3286372 CPUtime=57.29 cores=0-7
/proc/18398/task/18407/stat : 18407 (cosoco) R 18395 18398 18080 0 -1 4202560 699721 0 0 0 5690 39 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986561805408 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18408] ppid=18395 vsize=4318832 memory=6655300316396806240 CPUtime=57.71 cores=0-7
/proc/18398/task/18408/stat : 18408 (cosoco) R 18395 18398 18080 0 -1 4202560 701859 0 0 0 5653 118 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986553412704 5038964 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18409] ppid=18395 vsize=4318832 memory=3286372 CPUtime=57.7 cores=0-7
/proc/18398/task/18409/stat : 18409 (cosoco) R 18395 18398 18080 0 -1 4202560 648722 0 0 0 5735 35 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986545020000 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
Current children cumulated CPU time: 505.43 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3286372 KiB
[startup+144.052 s]
# the end of solver process 18398 was just reported to runsolver
# cumulated CPU time of all completed processes: user=829.186 s, system=7.90907 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.401 s]
/proc/loadavg: 6.54 7.43 7.62 9/199 18414
/proc/meminfo: memFree=27076516/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=4318832 memory=3286372 CPUtime=506.23 cores=0-7
/proc/18398/stat : 18398 (cosoco) S 18395 18398 18080 0 -1 1077944320 6339898 0 0 0 49897 726 0 0 20 0 9 0 436145787 4422483968 821593 33554432000 4194304 6211092 140721959563760 140721959562016 139986633748215 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 1079708 821593 861 493 0 1073013 0
[pid=18398/tid=18402] ppid=18395 vsize=4318832 memory=3282084 CPUtime=57.8 cores=0-7
/proc/18398/task/18402/stat : 18402 (cosoco) R 18395 18398 18080 0 -1 4202560 580987 0 0 0 5667 113 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986603768928 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18403] ppid=18395 vsize=4318832 memory=45760 CPUtime=57.82 cores=0-7
/proc/18398/task/18403/stat : 18403 (cosoco) R 18395 18398 18080 0 -1 4202560 687498 0 0 0 5745 37 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986595376224 5038992 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18404] ppid=18395 vsize=4318832 memory=164 CPUtime=57.82 cores=0-7
/proc/18398/task/18404/stat : 18404 (cosoco) R 18395 18398 18080 0 -1 4202560 646745 0 0 0 5659 123 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986586983520 5037744 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18405] ppid=18395 vsize=4318832 memory=3472468399470722224 CPUtime=57.38 cores=0-7
/proc/18398/task/18405/stat : 18405 (cosoco) R 18395 18398 18080 0 -1 4202560 691792 0 0 0 5703 35 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986578590816 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18406] ppid=18395 vsize=4318832 memory=0 CPUtime=57.8 cores=0-7
/proc/18398/task/18406/stat : 18406 (cosoco) R 18395 18398 18080 0 -1 4202560 647565 0 0 0 5662 118 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986570198112 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18407] ppid=18395 vsize=4318832 memory=0 CPUtime=57.39 cores=0-7
/proc/18398/task/18407/stat : 18407 (cosoco) R 18395 18398 18080 0 -1 4202560 699721 0 0 0 5700 39 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986561805408 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18408] ppid=18395 vsize=4318832 memory=0 CPUtime=57.81 cores=0-7
/proc/18398/task/18408/stat : 18408 (cosoco) R 18395 18398 18080 0 -1 4202560 701859 0 0 0 5663 118 0 0 20 0 9 0 436150243 4422483968 821593 33554432000 4194304 6211092 140721959563760 139986553412704 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
################
# More data... #
################
[pid=18398] ppid=18395 vsize=4318832 memory=3293020 CPUtime=710.65 cores=0-7
/proc/18398/stat : 18398 (cosoco) S 18395 18398 18080 0 -1 1077944320 6875676 0 0 0 70311 754 0 0 20 0 9 0 436145787 4422483968 823255 33554432000 4194304 6211092 140721959563760 140721959562016 139986633748215 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 1079708 823255 861 493 0 1073013 0
[pid=18398/tid=18402] ppid=18395 vsize=4318832 memory=0 CPUtime=83.41 cores=0-7
/proc/18398/task/18402/stat : 18402 (cosoco) R 18395 18398 18080 0 -1 4202560 642827 0 0 0 8225 116 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986603768928 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18403] ppid=18395 vsize=4318832 memory=0 CPUtime=83.43 cores=0-7
/proc/18398/task/18403/stat : 18403 (cosoco) R 18395 18398 18080 0 -1 4202560 750238 0 0 0 8303 40 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986595376224 5037823 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18404] ppid=18395 vsize=4318832 memory=4872558044660077418 CPUtime=83.41 cores=0-7
/proc/18398/task/18404/stat : 18404 (cosoco) R 18395 18398 18080 0 -1 4202560 708790 0 0 0 8214 127 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986586983520 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18405] ppid=18395 vsize=4318832 memory=924 CPUtime=82.61 cores=0-7
/proc/18398/task/18405/stat : 18405 (cosoco) R 18395 18398 18080 0 -1 4202560 754854 0 0 0 8223 38 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986578590816 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18406] ppid=18395 vsize=4318832 memory=4132 CPUtime=83.37 cores=0-7
/proc/18398/task/18406/stat : 18406 (cosoco) R 18395 18398 18080 0 -1 4202560 714215 0 0 0 8216 121 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986570198112 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18407] ppid=18395 vsize=4318832 memory=4104 CPUtime=83 cores=0-7
/proc/18398/task/18407/stat : 18407 (cosoco) R 18395 18398 18080 0 -1 4202560 774934 0 0 0 8256 44 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986561805408 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18408] ppid=18395 vsize=4318832 memory=1404 CPUtime=83.41 cores=0-7
/proc/18398/task/18408/stat : 18408 (cosoco) R 18395 18398 18080 0 -1 4202560 763477 0 0 0 8221 120 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986553412704 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18409] ppid=18395 vsize=4318832 memory=3293020 CPUtime=83.4 cores=0-7
/proc/18398/task/18409/stat : 18409 (cosoco) R 18395 18398 18080 0 -1 4202560 731332 0 0 0 8301 39 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986545020000 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
Current children cumulated CPU time: 710.65 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3293020 KiB
[startup+134.401 s]
/proc/loadavg: 7.19 7.50 7.64 9/199 18415
/proc/meminfo: memFree=27070408/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=4318832 memory=3293020 CPUtime=761.68 cores=0-7
/proc/18398/stat : 18398 (cosoco) S 18395 18398 18080 0 -1 1077944320 6969795 0 0 0 75409 759 0 0 20 0 9 0 436145787 4422483968 823255 33554432000 4194304 6211092 140721959563760 140721959562016 139986633748215 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 1079708 823255 861 493 0 1073013 0
[pid=18398/tid=18402] ppid=18395 vsize=4318832 memory=3293020 CPUtime=89.79 cores=0-7
/proc/18398/task/18402/stat : 18402 (cosoco) R 18395 18398 18080 0 -1 4202560 650853 0 0 0 8863 116 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986603768928 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18403] ppid=18395 vsize=4318832 memory=1092 CPUtime=89.82 cores=0-7
/proc/18398/task/18403/stat : 18403 (cosoco) R 18395 18398 18080 0 -1 4202560 762521 0 0 0 8942 40 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986595376224 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18404] ppid=18395 vsize=4318832 memory=3580 CPUtime=89.8 cores=0-7
/proc/18398/task/18404/stat : 18404 (cosoco) R 18395 18398 18080 0 -1 4202560 724353 0 0 0 8851 129 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986586983520 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18405] ppid=18395 vsize=4318832 memory=45760 CPUtime=88.91 cores=0-7
/proc/18398/task/18405/stat : 18405 (cosoco) R 18395 18398 18080 0 -1 4202560 767096 0 0 0 8852 39 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986578590816 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18406] ppid=18395 vsize=4318832 memory=56 CPUtime=89.76 cores=0-7
/proc/18398/task/18406/stat : 18406 (cosoco) R 18395 18398 18080 0 -1 4202560 724738 0 0 0 8854 122 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986570198112 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18407] ppid=18395 vsize=4318832 memory=7739810250758640737 CPUtime=89.38 cores=0-7
/proc/18398/task/18407/stat : 18407 (cosoco) R 18395 18398 18080 0 -1 4202560 787629 0 0 0 8894 44 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986561805408 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18408] ppid=18395 vsize=4318832 memory=1436 CPUtime=89.8 cores=0-7
/proc/18398/task/18408/stat : 18408 (cosoco) R 18395 18398 18080 0 -1 4202560 777137 0 0 0 8859 121 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986553412704 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18409] ppid=18395 vsize=4318832 memory=9592 CPUtime=89.79 cores=0-7
/proc/18398/task/18409/stat : 18409 (cosoco) R 18395 18398 18080 0 -1 4202560 740459 0 0 0 8939 40 0 0 20 0 9 0 436150243 4422483968 823255 33554432000 4194304 6211092 140721959563760 139986545020000 5039007 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
Current children cumulated CPU time: 761.68 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3293020 KiB
[startup+140.801 s]
/proc/loadavg: 7.32 7.52 7.64 9/199 18416
/proc/meminfo: memFree=27068788/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=4318832 memory=3295152 CPUtime=812.77 cores=0-7
/proc/18398/stat : 18398 (cosoco) S 18395 18398 18080 0 -1 1077944320 7116243 0 0 0 80510 767 0 0 20 0 9 0 436145787 4422483968 823788 33554432000 4194304 6211092 140721959563760 140721959562016 139986633748215 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 1079708 823788 861 493 0 1073013 0
[pid=18398/tid=18402] ppid=18395 vsize=4318832 memory=1060 CPUtime=96.19 cores=0-7
/proc/18398/task/18402/stat : 18402 (cosoco) R 18395 18398 18080 0 -1 4202560 671619 0 0 0 9502 117 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986603768928 5038995 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18403] ppid=18395 vsize=4318832 memory=2832 CPUtime=96.22 cores=0-7
/proc/18398/task/18403/stat : 18403 (cosoco) R 18395 18398 18080 0 -1 4202560 779840 0 0 0 9581 41 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986595376224 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18404] ppid=18395 vsize=4318832 memory=3295152 CPUtime=96.18 cores=0-7
/proc/18398/task/18404/stat : 18404 (cosoco) R 18395 18398 18080 0 -1 4202560 744444 0 0 0 9488 130 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986586983520 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18405] ppid=18395 vsize=4318832 memory=3290880 CPUtime=95.22 cores=0-7
/proc/18398/task/18405/stat : 18405 (cosoco) R 18395 18398 18080 0 -1 4202560 784823 0 0 0 9483 39 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986578590816 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18406] ppid=18395 vsize=4318832 memory=3293020 CPUtime=96.16 cores=0-7
/proc/18398/task/18406/stat : 18406 (cosoco) R 18395 18398 18080 0 -1 4202560 741955 0 0 0 9493 123 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986570198112 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18407] ppid=18395 vsize=4318832 memory=3293020 CPUtime=95.79 cores=0-7
/proc/18398/task/18407/stat : 18407 (cosoco) R 18395 18398 18080 0 -1 4202560 804508 0 0 0 9534 45 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986561805408 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18408] ppid=18395 vsize=4318832 memory=3290880 CPUtime=96.2 cores=0-7
/proc/18398/task/18408/stat : 18408 (cosoco) R 18395 18398 18080 0 -1 4202560 793808 0 0 0 9498 122 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986553412704 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18409] ppid=18395 vsize=4318832 memory=3290880 CPUtime=96.18 cores=0-7
/proc/18398/task/18409/stat : 18409 (cosoco) R 18395 18398 18080 0 -1 4202560 760287 0 0 0 9577 41 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986545020000 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
Current children cumulated CPU time: 812.77 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3295152 KiB
[startup+142.401 s]
/proc/loadavg: 7.32 7.52 7.64 9/200 18418
/proc/meminfo: memFree=27067764/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=4318832 memory=3295152 CPUtime=825.52 cores=0-7
/proc/18398/stat : 18398 (cosoco) S 18395 18398 18080 0 -1 1077944320 7119648 0 0 0 81785 767 0 0 20 0 9 0 436145787 4422483968 823788 33554432000 4194304 6211092 140721959563760 140721959562016 139986633748215 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 1079708 823788 861 493 0 1073013 0
[pid=18398/tid=18402] ppid=18395 vsize=4318832 memory=9592 CPUtime=97.79 cores=0-7
/proc/18398/task/18402/stat : 18402 (cosoco) R 18395 18398 18080 0 -1 4202560 673888 0 0 0 9662 117 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986603768928 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18403] ppid=18395 vsize=4318832 memory=776 CPUtime=97.82 cores=0-7
/proc/18398/task/18403/stat : 18403 (cosoco) R 18395 18398 18080 0 -1 4202560 779840 0 0 0 9741 41 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986595376224 5389408 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18404] ppid=18395 vsize=4318832 memory=6935054825532540783 CPUtime=97.78 cores=0-7
/proc/18398/task/18404/stat : 18404 (cosoco) R 18395 18398 18080 0 -1 4202560 744754 0 0 0 9648 130 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986586983520 5039070 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18405] ppid=18395 vsize=4318832 memory=45760 CPUtime=96.79 cores=0-7
/proc/18398/task/18405/stat : 18405 (cosoco) R 18395 18398 18080 0 -1 4202560 785590 0 0 0 9640 39 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986578590816 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18406] ppid=18395 vsize=4318832 memory=2028 CPUtime=97.76 cores=0-7
/proc/18398/task/18406/stat : 18406 (cosoco) R 18395 18398 18080 0 -1 4202560 741955 0 0 0 9653 123 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986570198112 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18407] ppid=18395 vsize=4318832 memory=988 CPUtime=97.38 cores=0-7
/proc/18398/task/18407/stat : 18407 (cosoco) R 18395 18398 18080 0 -1 4202560 804517 0 0 0 9693 45 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986561805408 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18408] ppid=18395 vsize=4318832 memory=1436 CPUtime=97.8 cores=0-7
/proc/18398/task/18408/stat : 18408 (cosoco) R 18395 18398 18080 0 -1 4202560 793808 0 0 0 9658 122 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986553412704 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18409] ppid=18395 vsize=4318832 memory=9592 CPUtime=97.78 cores=0-7
/proc/18398/task/18409/stat : 18409 (cosoco) R 18395 18398 18080 0 -1 4202560 760287 0 0 0 9737 41 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986545020000 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
Current children cumulated CPU time: 825.52 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3295152 KiB
[startup+143.201 s]
/proc/loadavg: 7.32 7.52 7.64 9/200 18418
/proc/meminfo: memFree=27067764/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=4318832 memory=3295152 CPUtime=831.9 cores=0-7
/proc/18398/stat : 18398 (cosoco) S 18395 18398 18080 0 -1 1077944320 7153433 0 0 0 82421 769 0 0 20 0 9 0 436145787 4422483968 823788 33554432000 4194304 6211092 140721959563760 140721959562016 139986633748215 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 1079708 823788 861 493 0 1073013 0
[pid=18398/tid=18402] ppid=18395 vsize=4318832 memory=988 CPUtime=98.59 cores=0-7
/proc/18398/task/18402/stat : 18402 (cosoco) R 18395 18398 18080 0 -1 4202560 678719 0 0 0 9741 118 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986603768928 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18403] ppid=18395 vsize=4318832 memory=1436 CPUtime=98.62 cores=0-7
/proc/18398/task/18403/stat : 18403 (cosoco) R 18395 18398 18080 0 -1 4202560 783806 0 0 0 9821 41 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986595376224 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18404] ppid=18395 vsize=4318832 memory=3295152 CPUtime=98.58 cores=0-7
/proc/18398/task/18404/stat : 18404 (cosoco) R 18395 18398 18080 0 -1 4202560 748734 0 0 0 9728 130 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986586983520 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18405] ppid=18395 vsize=4318832 memory=1540 CPUtime=97.58 cores=0-7
/proc/18398/task/18405/stat : 18405 (cosoco) R 18395 18398 18080 0 -1 4202560 790512 0 0 0 9718 40 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986578590816 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18406] ppid=18395 vsize=4318832 memory=692 CPUtime=98.56 cores=0-7
/proc/18398/task/18406/stat : 18406 (cosoco) R 18395 18398 18080 0 -1 4202560 746043 0 0 0 9733 123 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986570198112 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18407] ppid=18395 vsize=4318832 memory=6935054825532540783 CPUtime=98.19 cores=0-7
/proc/18398/task/18407/stat : 18407 (cosoco) R 18395 18398 18080 0 -1 4202560 808600 0 0 0 9773 46 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986561805408 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18408] ppid=18395 vsize=4318832 memory=776 CPUtime=98.59 cores=0-7
/proc/18398/task/18408/stat : 18408 (cosoco) R 18395 18398 18080 0 -1 4202560 797757 0 0 0 9737 122 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986553412704 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18409] ppid=18395 vsize=4318832 memory=1540 CPUtime=98.58 cores=0-7
/proc/18398/task/18409/stat : 18409 (cosoco) R 18395 18398 18080 0 -1 4202560 764253 0 0 0 9817 41 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986545020000 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
Current children cumulated CPU time: 831.9 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3295152 KiB
[startup+143.601 s]
/proc/loadavg: 7.32 7.52 7.64 9/200 18418
/proc/meminfo: memFree=27067764/32770624 swapFree=66927300/67108860
[pid=18398] ppid=18395 vsize=4318832 memory=3295152 CPUtime=835.1 cores=0-7
/proc/18398/stat : 18398 (cosoco) S 18395 18398 18080 0 -1 1077944320 7153660 0 0 0 82741 769 0 0 20 0 9 0 436145787 4422483968 823788 33554432000 4194304 6211092 140721959563760 140721959562016 139986633748215 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
/proc/18398/statm: 1079708 823788 861 493 0 1073013 0
[pid=18398/tid=18402] ppid=18395 vsize=4318832 memory=6008 CPUtime=98.99 cores=0-7
/proc/18398/task/18402/stat : 18402 (cosoco) R 18395 18398 18080 0 -1 4202560 678941 0 0 0 9781 118 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986603768928 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18403] ppid=18395 vsize=4318832 memory=6935054825532540783 CPUtime=99.02 cores=0-7
/proc/18398/task/18403/stat : 18403 (cosoco) R 18395 18398 18080 0 -1 4202560 783807 0 0 0 9861 41 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986595376224 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18404] ppid=18395 vsize=4318832 memory=45760 CPUtime=98.98 cores=0-7
/proc/18398/task/18404/stat : 18404 (cosoco) R 18395 18398 18080 0 -1 4202560 748734 0 0 0 9768 130 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986586983520 5037823 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18405] ppid=18395 vsize=4318832 memory=2028 CPUtime=97.98 cores=0-7
/proc/18398/task/18405/stat : 18405 (cosoco) R 18395 18398 18080 0 -1 4202560 790516 0 0 0 9758 40 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986578590816 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18406] ppid=18395 vsize=4318832 memory=988 CPUtime=98.96 cores=0-7
/proc/18398/task/18406/stat : 18406 (cosoco) R 18395 18398 18080 0 -1 4202560 746043 0 0 0 9773 123 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986570198112 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18407] ppid=18395 vsize=4318832 memory=1436 CPUtime=98.59 cores=0-7
/proc/18398/task/18407/stat : 18407 (cosoco) R 18395 18398 18080 0 -1 4202560 808600 0 0 0 9813 46 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986561805408 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18408] ppid=18395 vsize=4318832 memory=9592 CPUtime=98.99 cores=0-7
/proc/18398/task/18408/stat : 18408 (cosoco) R 18395 18398 18080 0 -1 4202560 797757 0 0 0 9777 122 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986553412704 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
[pid=18398/tid=18409] ppid=18395 vsize=4318832 memory=6935054825532540783 CPUtime=98.98 cores=0-7
/proc/18398/task/18409/stat : 18409 (cosoco) R 18395 18398 18080 0 -1 4202560 764253 0 0 0 9857 41 0 0 20 0 9 0 436150243 4422483968 823788 33554432000 4194304 6211092 140721959563760 139986545020000 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17575936 140721959572497 140721959572589 140721959572589 140721959575502 0
Current children cumulated CPU time: 835.1 s
Current children cumulated vsize: 4318832 KiB
Current children cumulated memory: 3295152 KiB
[startup+144.01 s]*
/proc/loadavg: 7.32 7.52 7.64 2/192 18418
/proc/meminfo: memFree=29707512/32770624 swapFree=66927300/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): 144.052
CPU time (s): 837.095
CPU user time (s): 829.186
CPU system time (s): 7.90907
CPU usage (%): 581.107
Max. virtual memory (cumulated for all children) (KiB): 4318832
Max. memory (cumulated for all children) (KiB): 3295152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 829.186
system time used= 7.90907
maximum resident set size= 3295200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7153700
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= 181
involuntary context switches= 7155
# summary of solver processes directly reported to runsolver:
# pid: 18398
# total CPU time (s): 837.095
# total CPU user time (s): 829.186
# total CPU system time (s): 7.90907
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.819459 second user time and 1.17046 second system time
The end
Begin job on node137 at 2019-09-16 03:55:42 IDJOB=4398064 IDBENCH=121040 IDSOLVER=2851 FILE ID=node137/4398064-1568598983 RUNJOBID= node137-1568596419-18108 PBS_JOBID= 21703399 Free space on /tmp= 61336 MiB SOLVER NAME= cosoco 2.O 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-4398064-1568598983/watcher-4398064-1568598983 -o /tmp/evaluation-result-4398064-1568598983/solver-4398064-1568598983 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568596419-18108 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398064-1568598983.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 99ba47a6bc0c62f84cd44bdd38bc871f RANDOM SEED=2005851501 node137.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 : 5334.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.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 : 5334.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.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 : 5334.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.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 : 5334.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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30367252 kB MemAvailable: 31810364 kB Buffers: 131860 kB Cached: 1598000 kB SwapCached: 77508 kB Active: 1527204 kB Inactive: 281616 kB Active(anon): 3520 kB Inactive(anon): 124916 kB Active(file): 1523684 kB Inactive(file): 156700 kB Unevictable: 109916 kB Mlocked: 109916 kB SwapTotal: 67108860 kB SwapFree: 66927300 kB Dirty: 89024 kB Writeback: 0 kB AnonPages: 104672 kB Mapped: 47264 kB Shmem: 41004 kB Slab: 185928 kB SReclaimable: 157128 kB SUnreclaim: 28800 kB KernelStack: 3376 kB PageTables: 5388 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505800 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 59392 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61332 MiB End job on node137 at 2019-09-16 03:58:06