Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | UNSAT | 777.708 | 98.5261 |
Name | QRandom/ QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-15.xml |
MD5SUM | 1cb2c7d0d6cb70a3feacaee85115a742 |
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 | 20.9563 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 21 |
Number of constraints | 2713 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":21}] |
Minimum variable degree | 1888 |
Maximum variable degree | 1986 |
Distribution of variable degrees | [{"degree":1888,"count":1},{"degree":1909,"count":1},{"degree":1914,"count":1},{"degree":1915,"count":2},{"degree":1921,"count":1},{"degree":1924,"count":1},{"degree":1927,"count":1},{"degree":1929,"count":1},{"degree":1933,"count":1},{"degree":1938,"count":1},{"degree":1939,"count":1},{"degree":1940,"count":1},{"degree":1949,"count":1},{"degree":1951,"count":1},{"degree":1953,"count":1},{"degree":1959,"count":1},{"degree":1961,"count":1},{"degree":1969,"count":1},{"degree":1975,"count":1},{"degree":1986,"count":1}] |
Minimum constraint arity | 15 |
Maximum constraint arity | 15 |
Distribution of constraint arities | [{"arity":15,"count":2713}] |
Number of extensional constraints | 2713 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":2713}] |
Optimization problem | NO |
Type of objective |
8.09/2.09 c root propagations : 0 8.09/2.09 c restarts enabled, print stats at every restarts 8.09/2.09 c 8.09/2.09 c 8.09/2.09 c 8.09/2.09 c This is cosoco 2.00 -- 8.09/2.09 c 8.09/2.09 c command line: cosoco -model -nbcores=8 HOME/instance-4409328-1569823938.xml 8.09/2.09 c ========================================[ Problem Statistics ]=========================================== 8.09/2.09 c | 8.09/2.09 c | Parse time : 0.75 s 8.09/2.09 c | 8.09/2.09 c | Variables: 21 8.09/2.09 c | Domain Sizes: 2..2 8.09/2.09 c | 8.09/2.09 c | Constraints: 2713 8.09/2.09 c | Arity: 15..15 8.09/2.09 c | 8.09/2.09 c | Types: 8.09/2.09 c | Extension: 2713 (nb tuples: 6900..6900) -- (shared: 21696) 8.09/2.09 c | 8.09/2.09 c ========================================================================================================= 8.09/2.09 c Parallel mode: Portfolio 8.09/2.09 c [pFactory][Group N°0] created (threads:8). 8.09/2.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 8.09/2.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 8.09/2.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 8.09/2.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 8.09/2.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 8.09/2.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 8.09/2.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 8.09/2.09 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 8.09/2.09 c [pFactory][Group N°0] concurrent mode: enabled. 8.09/2.09 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 8.09/2.09 c [pFactory][Group N°0] task 7 launched on thread 0. 8.09/2.09 c [pFactory][Group N°0] task 6 launched on thread 1. 8.09/2.09 c [pFactory][Group N°0] task 5 launched on thread 5. 8.09/2.09 c [pFactory][Group N°0] task 4 launched on thread 2. 8.09/2.09 c [pFactory][Group N°0] task 3 launched on thread 3. 8.09/2.09 c [pFactory][Group N°0] task 2 launched on thread 6. 8.09/2.09 c [pFactory][Group N°0] task 1 launched on thread 7. 8.09/2.09 c [pFactory][Group N°0] task 0 launched on thread 4. 8.09/2.09 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.09/2.09 c root propagations : 0 8.09/2.09 c restarts enabled, print stats at every restarts 8.09/2.09 c 8.09/2.09 c 8.09/2.09 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.09/2.09 c root propagations : 0 8.09/2.09 c restarts enabled, print stats at every restarts 8.09/2.09 c 8.09/2.09 c 8.09/2.09 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.09/2.09 c root propagations : 0 8.09/2.09 c root propagations : 0 8.09/2.09 c restarts enabled, print stats at every restarts 8.09/2.09 c 8.09/2.09 c 8.09/2.09 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.09/2.10 c restarts enabled, print stats at every restarts 8.09/2.10 c 8.09/2.10 c 8.09/2.10 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.09/2.10 c root propagations : 0 8.09/2.10 c restarts enabled, print stats at every restarts 8.09/2.10 c 8.09/2.10 c 8.09/2.10 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.09/2.10 c root propagations : 0 8.09/2.10 c restarts enabled, print stats at every restarts 8.09/2.10 c 8.09/2.10 c 8.09/2.10 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.09/2.10 c root propagations : 0 8.09/2.10 c restarts enabled, print stats at every restarts 8.09/2.10 c 8.09/2.10 c 8.09/2.10 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 34.37/5.40 c 32 113 243684 714 0 0 6 13 10 35.17/5.42 c 32 110 243641 742 0 0 9 13 10 37.57/5.74 c 32 106 238421 747 0 0 8 13 10 38.37/5.88 c 32 117 266026 845 0 0 9 12 10 43.96/6.55 c 33 123 263769 740 0 0 10 10 5 44.76/6.60 c 33 120 266994 785 0 0 10 10 5 47.16/6.99 c 33 126 286253 863 0 0 9 9 4 48.02/7.07 c 33 116 261034 776 0 0 10 10 5 73.50/10.24 c 64 241 531668 1623 0 0 9 11 9 75.09/10.47 c 64 232 508453 1549 0 0 6 11 9 77.50/10.70 c 64 243 540715 1556 0 0 8 11 9 83.08/11.47 c 64 237 537460 1654 0 0 9 11 9 83.08/11.49 c 65 251 552623 1652 0 0 10 10 5 85.48/11.71 c 101 341 751273 2468 0 0 4 14 10 85.48/11.79 c 65 241 528258 1583 0 0 9 9 4 87.08/11.95 c 65 254 563767 1594 0 0 11 11 5 87.08/11.98 c 101 348 761898 2326 0 0 5 13 10 92.67/12.70 c 66 261 573559 1681 0 0 10 10 5 94.27/12.84 c 65 248 561604 1695 0 0 11 11 5 94.27/12.90 c 101 369 795161 2492 0 0 7 13 10 95.07/12.97 c 101 378 840873 2572 0 0 7 11 9 95.93/13.04 c 66 250 547991 1617 0 0 9 9 4 97.45/13.30 c 66 265 586795 1632 0 0 11 11 5 102.25/13.83 c 67 271 594392 1715 0 0 10 10 5 104.72/14.18 c 66 259 584156 1737 0 0 11 11 5 105.44/14.26 c 67 259 567796 1651 0 0 9 9 4 108.64/14.64 c 67 276 609607 1665 0 0 11 11 5 115.82/15.51 c 67 270 606862 1780 0 0 11 11 5 145.40/19.23 c 128 488 1065627 3210 0 0 5 11 9 154.15/20.37 c 129 499 1088117 3253 0 0 11 11 5 162.93/21.50 c 130 510 1110685 3301 0 0 11 11 5 164.53/21.60 c 128 484 1067797 3232 0 0 7 11 9 164.53/21.62 c 128 514 1143902 3238 0 0 9 11 9 171.72/22.57 c 128 484 1086310 3345 0 0 6 11 9 172.52/22.61 c 131 521 1132209 3341 0 0 11 11 5 174.11/22.87 c 129 524 1163902 3266 0 0 10 10 5 174.91/22.90 c 129 495 1090800 3264 0 0 11 11 5 175.78/23.08 c 211 741 1649694 5178 0 0 7 11 9 177.35/23.26 c 211 736 1594197 5034 0 0 4 11 9 181.30/23.76 c 132 532 1154777 3389 0 0 11 11 5 182.90/23.96 c 129 494 1107195 3374 0 0 10 10 5 184.56/24.11 c 211 755 1616674 5175 0 0 7 11 9 184.56/24.14 c 130 534 1183961 3294 0 0 10 10 5 184.56/24.16 c 211 766 1674565 5279 0 0 6 11 9 186.09/24.30 c 130 506 1114501 3303 0 0 11 11 5 190.07/24.87 c 133 543 1176607 3422 0 0 11 11 5 194.07/25.38 c 131 544 1203961 3322 0 0 10 10 5 194.86/25.41 c 130 504 1128069 3403 0 0 10 10 5 196.46/25.64 c 131 517 1137498 3335 0 0 11 11 5 199.72/26.02 c 134 554 1198943 3460 0 0 11 11 5 203.65/26.51 c 132 554 1224020 3350 0 0 10 10 5 205.25/26.76 c 131 514 1148954 3432 0 0 10 10 5 206.05/26.88 c 132 528 1161338 3374 0 0 11 11 5 208.51/27.12 c 135 565 1220424 3489 0 0 11 11 5 212.42/27.65 c 133 564 1244018 3382 0 0 10 10 5 215.68/28.06 c 132 524 1169565 3461 0 0 10 10 5 215.68/28.10 c 133 539 1184335 3406 0 0 11 11 5 222.00/28.83 c 134 574 1264043 3414 0 0 10 10 5 225.99/29.33 c 134 550 1206514 3444 0 0 11 11 5 226.79/29.41 c 133 534 1190158 3490 0 0 10 10 5 230.80/29.96 c 135 584 1284043 3442 0 0 10 10 5 236.38/30.68 c 134 544 1211032 3519 0 0 10 10 5 236.38/30.69 c 135 560 1226886 3474 0 0 10 10 5 246.76/31.98 c 135 554 1231917 3548 0 0 10 10 5 257.15/33.24 c 332 1140 2456131 7845 0 0 6 11 10 273.16/35.23 c 332 1170 2604343 8132 0 0 7 11 9 285.89/36.81 c 332 1194 2563835 8211 0 0 8 11 10 285.89/36.85 c 256 994 2134904 6487 0 0 8 11 10 291.49/37.56 c 332 1215 2623152 8216 0 0 7 11 9 294.68/37.97 c 257 1003 2154072 6506 0 0 9 9 4 304.32/39.12 c 258 1012 2173733 6529 0 0 9 9 4 313.04/40.23 c 259 1021 2192901 6548 0 0 9 9 4 321.82/41.35 c 260 1030 2212573 6571 0 0 9 9 4 323.42/41.53 c 256 1011 2247016 6419 0 0 6 11 9 330.61/42.49 c 261 1039 2231741 6590 0 0 9 9 4 333.81/42.84 c 257 1021 2268478 6461 0 0 10 10 5 340.19/43.61 c 262 1048 2251360 6613 0 0 9 9 4 344.25/44.11 c 256 1019 2233777 6588 0 0 6 11 9 344.25/44.13 c 258 1031 2289913 6503 0 0 10 10 5 348.98/44.72 c 263 1057 2270528 6632 0 0 9 9 4 354.57/45.40 c 259 1041 2311375 6545 0 0 10 10 5 355.37/45.51 c 257 1030 2258261 6629 0 0 11 11 5 356.96/45.70 c 465 1618 3480713 11095 0 0 4 12 9 357.76/45.81 c 264 1066 2290147 6655 0 0 9 9 4 358.56/45.91 c 256 992 2198516 6527 0 0 8 11 9 364.15/46.63 c 260 1051 2332780 6587 0 0 10 10 5 365.75/46.87 c 258 1041 2281265 6661 0 0 11 11 5 365.75/46.88 c 265 1075 2309315 6674 0 0 9 9 4 368.98/47.25 c 257 1002 2218830 6554 0 0 10 10 5 374.53/47.90 c 261 1061 2354215 6629 0 0 10 10 5 374.53/47.97 c 266 1084 2328934 6697 0 0 9 9 4 376.92/48.25 c 259 1052 2303505 6695 0 0 11 11 5 379.32/48.59 c 258 1012 2239154 6581 0 0 10 10 5 383.38/49.04 c 267 1093 2348102 6716 0 0 9 9 4 384.18/49.14 c 262 1071 2375620 6671 0 0 10 10 5 385.71/49.34 c 465 1632 3640545 11503 0 0 6 11 9 387.30/49.57 c 260 1063 2326509 6727 0 0 11 11 5 389.70/49.85 c 259 1022 2259636 6609 0 0 10 10 5 391.36/50.10 c 268 1102 2367269 6737 0 0 9 9 4 392.89/50.27 c 465 1664 3578214 11475 0 0 5 11 9 393.69/50.37 c 263 1081 2397065 6713 0 0 10 10 5 396.89/50.77 c 261 1073 2346651 6744 0 0 10 10 5 400.14/51.15 c 260 1032 2280106 6637 0 0 10 10 5 400.14/51.20 c 269 1111 2386437 6756 0 0 9 9 4 404.08/51.64 c 264 1091 2417033 6745 0 0 10 10 5 405.68/51.82 c 465 1706 3675598 11619 0 0 7 11 9 408.14/52.13 c 262 1083 2367327 6771 0 0 10 10 5 408.87/52.28 c 270 1120 2405604 6777 0 0 9 9 4 410.46/52.42 c 261 1042 2300420 6664 0 0 10 10 5 414.46/52.90 c 265 1101 2437747 6790 0 0 10 10 5 417.65/53.37 c 271 1129 2424734 6796 0 0 9 9 4 418.45/53.47 c 263 1093 2387948 6798 0 0 10 10 5 420.85/53.72 c 262 1052 2320744 6691 0 0 10 10 5 424.11/54.16 c 266 1111 2457715 6822 0 0 10 10 5 428.83/54.77 c 264 1103 2408624 6825 0 0 10 10 5 430.43/54.98 c 263 1062 2341226 6719 0 0 10 10 5 434.42/55.41 c 267 1121 2478473 6867 0 0 10 10 5 439.28/56.06 c 265 1113 2429245 6852 0 0 10 10 5 440.80/56.28 c 264 1072 2361696 6747 0 0 10 10 5 444.00/56.66 c 268 1131 2499201 6912 0 0 10 10 5 449.59/57.34 c 266 1123 2449913 6879 0 0 10 10 5 451.19/57.56 c 265 1082 2382010 6774 0 0 10 10 5 453.58/57.89 c 269 1141 2519959 6957 0 0 10 10 5 459.97/58.64 c 611 2125 4571209 14615 0 0 7 12 10 459.97/58.68 c 267 1133 2470534 6906 0 0 10 10 5 461.57/58.85 c 266 1092 2402364 6801 0 0 10 10 5 463.24/59.09 c 270 1151 2540687 7002 0 0 10 10 5 470.35/59.96 c 268 1143 2491497 6936 0 0 10 10 5 472.01/60.16 c 267 1102 2422846 6829 0 0 10 10 5 473.54/60.35 c 271 1161 2561445 7047 0 0 10 10 5 481.53/61.37 c 269 1153 2512476 6966 0 0 10 10 5 482.33/61.46 c 268 1112 2443453 6861 0 0 10 10 5 492.71/62.71 c 270 1163 2533144 6993 0 0 10 10 5 492.71/62.75 c 269 1122 2464082 6893 0 0 10 10 5 503.16/64.01 c 271 1173 2553820 7020 0 0 10 10 5 503.16/64.02 c 270 1132 2484582 6921 0 0 10 10 5 512.67/65.29 c 271 1142 2505052 6949 0 0 10 10 5 515.87/65.69 c 611 2163 4843191 15238 0 0 7 11 9 517.46/65.84 c 611 2189 4722939 15108 0 0 6 11 10 532.64/67.74 c 611 2261 4864033 15263 0 0 7 11 9 572.55/72.75 c 512 1981 4238500 12558 0 0 5 11 9 574.15/72.93 c 771 2664 5728593 18372 0 0 6 11 10 581.34/73.86 c 513 1991 4258104 12583 0 0 10 10 5 590.12/74.97 c 514 2001 4277729 12608 0 0 10 10 5 598.97/76.08 c 515 2011 4297379 12633 0 0 10 10 5 608.48/77.20 c 516 2021 4316983 12658 0 0 10 10 5 617.26/78.31 c 517 2031 4336633 12683 0 0 10 10 5 626.02/79.40 c 518 2041 4356258 12708 0 0 10 10 5 634.00/80.48 c 519 2051 4375908 12733 0 0 10 10 5 642.79/81.55 c 520 2061 4395512 12758 0 0 10 10 5 645.19/81.81 c 771 2747 5915422 18974 0 0 5 11 9 648.38/82.21 c 771 2764 6176488 19269 0 0 7 11 9 651.57/82.65 c 521 2071 4415162 12783 0 0 10 10 5 660.37/83.72 c 522 2081 4434787 12808 0 0 10 10 5 665.95/84.45 c 771 2847 6116154 19262 0 0 5 11 9 665.95/84.48 c 512 2030 4529618 13071 1 0 5 11 9 669.15/84.88 c 523 2091 4456396 12834 1 0 10 10 5 673.14/85.36 c 513 2039 4548520 13092 1 0 9 9 4 675.53/85.68 c 524 2101 4476000 12859 1 0 10 10 5 680.32/86.27 c 514 2048 4568815 13120 1 0 9 9 4 682.72/86.50 c 525 2111 4495650 12884 1 0 10 10 5 687.58/87.17 c 515 2057 4587717 13141 1 0 9 9 4 689.11/87.30 c 526 2121 4515275 12909 1 0 10 10 5 694.76/88.07 c 516 2066 4608012 13169 1 0 9 9 4 696.28/88.23 c 527 2132 4539415 12955 2 0 11 11 5 700.29/88.71 c 947 3291 7063426 22642 0 0 4 11 10 701.09/88.84 c 528 2143 4561540 13000 2 0 11 11 5 702.75/89.07 c 517 2075 4628872 13191 2 0 9 9 4 705.88/89.42 c 512 2037 4478328 13121 2 0 2 11 9 705.88/89.44 c 529 2154 4583711 13045 2 0 11 11 5 708.27/89.71 c 518 2084 4647713 13206 2 0 9 9 4 710.73/90.03 c 530 2165 4605857 13090 2 0 11 11 5 710.73/90.10 c 513 2047 4500098 13157 2 0 10 10 5 713.06/90.34 c 519 2093 4666604 13227 2 0 9 9 4 715.46/90.63 c 531 2176 4628028 13135 2 0 11 11 5 716.26/90.79 c 514 2057 4521854 13193 2 0 10 10 5 717.85/90.98 c 520 2102 4685445 13242 2 0 9 9 4 720.28/91.22 c 532 2187 4650140 13180 2 0 11 11 5 721.84/91.48 c 515 2067 4543624 13229 2 0 10 10 5 724.23/91.72 c 521 2113 4710422 13270 3 0 11 11 5 725.83/91.94 c 533 2197 4673608 13204 3 0 10 10 5 728.22/92.21 c 516 2077 4567341 13266 3 0 10 10 5 728.22/92.25 c 522 2122 4730419 13299 3 0 9 9 4 729.82/92.40 c 534 2207 4695124 13227 3 0 10 10 5 729.82/92.50 c 512 2005 4421854 12941 3 0 5 11 9 731.42/92.68 c 517 2087 4587523 13295 3 0 10 10 5 732.22/92.72 c 523 2133 4753457 13326 3 0 11 11 5 733.02/92.84 c 535 2217 4716653 13250 3 0 10 10 5 733.82/92.97 c 513 2015 4442195 12974 3 0 10 10 5 735.48/93.18 c 518 2097 4609301 13331 3 0 10 10 5 736.21/93.22 c 524 2142 4773454 13355 3 0 9 9 4 736.21/93.29 c 536 2227 4738169 13273 3 0 10 10 5 737.81/93.46 c 514 2025 4462508 13007 3 0 10 10 5 739.41/93.64 c 519 2107 4629483 13360 3 0 10 10 5 740.21/93.70 c 525 2153 4796492 13382 3 0 11 11 5 740.21/93.74 c 537 2237 4759698 13296 3 0 10 10 5 741.81/93.93 c 515 2035 4482837 13040 3 0 10 10 5 743.47/94.14 c 520 2117 4651261 13396 3 0 10 10 5 743.47/94.19 c 538 2247 4781214 13319 3 0 10 10 5 743.47/94.19 c 526 2162 4816489 13411 3 0 9 9 4 744.19/94.24 c 1000 3481 7497277 23992 2 0 7 11 9 744.99/94.39 c 516 2045 4503150 13073 3 0 10 10 5 746.59/94.59 c 521 2127 4671443 13425 3 0 10 10 5 747.39/94.63 c 539 2257 4802743 13342 3 0 10 10 5 747.39/94.66 c 527 2173 4839527 13438 3 0 11 11 5 748.99/94.85 c 517 2055 4523479 13106 3 0 10 10 5 750.66/95.08 c 540 2267 4824259 13365 3 0 10 10 5 750.66/95.10 c 522 2137 4693221 13461 3 0 10 10 5 751.45/95.16 c 528 2182 4859524 13467 3 0 9 9 4 752.98/95.34 c 518 2065 4544310 13138 3 0 10 10 5 754.58/95.53 c 541 2277 4845788 13388 3 0 10 10 5 754.58/95.56 c 523 2147 4713403 13490 3 0 10 10 5 755.38/95.64 c 529 2193 4882562 13494 3 0 11 11 5 756.98/95.83 c 519 2075 4565104 13170 3 0 10 10 5 757.78/95.98 c 542 2287 4867304 13411 3 0 10 10 5 758.64/96.03 c 524 2157 4733593 13519 3 0 10 10 5 759.44/96.13 c 530 2202 4902559 13523 3 0 9 9 4 760.16/96.29 c 520 2085 4585417 13203 3 0 10 10 5 762.56/96.51 c 543 2297 4889471 13443 4 0 10 10 5 762.56/96.57 c 525 2167 4755696 13546 4 0 10 10 5 763.36/96.66 c 531 2211 4922839 13538 4 0 9 9 4 764.96/96.85 c 521 2095 4607381 13230 4 0 10 10 5 765.76/96.94 c 526 2177 4776032 13581 4 0 10 10 5 766.62/97.03 c 532 2221 4943119 13566 4 0 10 10 5 768.15/97.24 c 522 2105 4627872 13262 4 0 10 10 5 768.95/97.30 c 527 2187 4796226 13607 4 0 10 10 5 768.95/97.35 c 533 2230 4963254 13584 5 0 9 9 4 770.55/97.59 c 534 2239 4981625 13598 5 0 9 9 4 771.35/97.62 c 523 2115 4649599 13293 5 0 10 10 5 771.35/97.65 c 528 2196 4816776 13626 5 0 9 9 4 772.95/97.85 c 535 2249 5001905 13626 5 0 10 10 5 772.95/97.88 c 524 2125 4669324 13321 5 0 10 10 5 773.75/97.92 c 529 2205 4836955 13657 5 0 9 9 4 775.41/98.16 c 536 2259 5026158 13671 6 0 10 10 5 775.41/98.17 c 525 2135 4691000 13350 6 0 10 10 5 775.41/98.18 c 530 2214 4859210 13687 6 0 9 9 4 776.93/98.35 c 537 2268 5048010 13694 7 0 9 9 4 776.93/98.37 c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 4. 776.93/98.37 c 531 2223 4881036 13710 7 0 9 9 4 776.93/98.38 c 526 2145 4712510 13382 7 0 10 10 5 777.57/98.42 c [pFactory][Group N°0] Thread N°0 is joined. 777.57/98.42 c [pFactory][Group N°0] Thread N°1 is joined. 777.57/98.42 c [pFactory][Group N°0] Thread N°2 is joined. 777.57/98.42 c [pFactory][Group N°0] Thread N°3 is joined. 777.57/98.42 c [pFactory][Group N°0] Thread N°4 is joined. 777.57/98.42 c [pFactory][Group N°0] Thread N°5 is joined. 777.57/98.42 c [pFactory][Group N°0] Thread N°6 is joined. 777.57/98.42 c [pFactory][Group N°0] Thread N°7 is joined. 777.57/98.42 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°2) 777.57/98.42 s UNSATISFIABLE 777.57/98.42 c restarts : 50 777.57/98.42 c conflicts : 531 (1 /sec) 777.57/98.42 c decisions : 2223 (3 /sec) 777.57/98.42 c propagations : 13710 (18 /sec) 777.57/98.42 c root propagations : 0 777.57/98.42 c filter calls : 4881036 (6305 /sec) 777.57/98.42 c useless filter calls : 4874446 (99 %) 777.57/98.42 c Memory used : 1788.34 MB 777.57/98.42 c CPU time : 774.094 s 777.57/98.42 c real time : 98.4212 s 777.57/98.42
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 (13033 MiB free) memory of node 1: 16384 MiB (15705 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409328-1569823938/watcher-4409328-1569823938 -o /tmp/evaluation-result-4409328-1569823938/solver-4409328-1569823938 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569816318-31364 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409328-1569823938.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=32297, runsolver pid=32294 [startup+0.100149 s]* /proc/loadavg: 1.89 1.21 1.55 2/194 32298 /proc/meminfo: memFree=29427064/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=28152 memory=4480 CPUtime=0.1 cores=0-7 /proc/32297/stat : 32297 (cosoco) R 32294 32297 31337 0 -1 4202496 1287 0 0 0 10 0 0 0 20 0 1 0 558555291 28827648 1120 33554432000 4194304 6211132 140723987889584 140723987886120 139876590959589 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 7038 1120 808 493 0 343 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4480 KiB [startup+0.209132 s]* /proc/loadavg: 1.89 1.21 1.55 2/194 32298 /proc/meminfo: memFree=29404744/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=55200 memory=31408 CPUtime=0.21 cores=0-7 /proc/32297/stat : 32297 (cosoco) R 32294 32297 31337 0 -1 4202496 8028 0 0 0 21 0 0 0 20 0 1 0 558555291 56524800 7852 33554432000 4194304 6211132 140723987889584 140723987886120 139876590959589 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 13800 7852 816 493 0 7105 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 55200 KiB Current children cumulated memory: 31408 KiB [startup+0.309503 s]* /proc/loadavg: 1.89 1.21 1.55 2/194 32298 /proc/meminfo: memFree=29277228/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=190928 memory=167228 CPUtime=0.31 cores=0-7 /proc/32297/stat : 32297 (cosoco) R 32294 32297 31337 0 -1 4202496 42030 0 0 0 26 5 0 0 20 0 1 0 558555291 195510272 41807 33554432000 4194304 6211132 140723987889584 140723987886120 5037221 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 47732 41807 817 493 0 41037 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 190928 KiB Current children cumulated memory: 167228 KiB [startup+0.700402 s] /proc/loadavg: 1.89 1.21 1.55 2/194 32298 /proc/meminfo: memFree=29014968/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=689448 memory=665924 CPUtime=0.69 cores=0-7 /proc/32297/stat : 32297 (cosoco) R 32294 32297 31337 0 -1 4202496 166675 0 0 0 49 20 0 0 20 0 1 0 558555291 705994752 166415 33554432000 4194304 6211132 140723987889584 140723987886120 5037221 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 172397 166481 818 493 0 165702 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 689448 KiB Current children cumulated memory: 665924 KiB [startup+1.50031 s] /proc/loadavg: 1.89 1.21 1.55 2/194 32298 /proc/meminfo: memFree=28344496/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=1339756 memory=1250684 CPUtime=4.03 cores=0-7 /proc/32297/stat : 32297 (cosoco) S 32294 32297 31337 0 -1 1077944320 312911 0 0 0 365 38 0 0 20 0 9 0 558555291 1371910144 312671 33554432000 4194304 6211132 140723987889584 140723987887840 139876607000311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 334939 312671 834 493 0 328244 0 Current children cumulated CPU time: 4.03 s Current children cumulated vsize: 1339756 KiB Current children cumulated memory: 1250684 KiB [startup+3.11031 s] /proc/loadavg: 1.89 1.21 1.55 9/202 32306 /proc/meminfo: memFree=28181244/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=1864044 memory=1252268 CPUtime=16.88 cores=0-7 /proc/32297/stat : 32297 (cosoco) S 32294 32297 31337 0 -1 1077944320 523417 0 0 0 1562 126 0 0 20 0 9 0 558555291 1908781056 313067 33554432000 4194304 6211132 140723987889584 140723987887840 139876607000311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 466011 313067 841 493 0 459316 0 [pid=32297/tid=32299] ppid=32294 vsize=1864044 memory=3588 CPUtime=1.96 cores=0-7 /proc/32297/task/32299/stat : 32299 (cosoco) R 32294 32297 31337 0 -1 4202560 15105 0 0 0 184 12 0 0 20 0 9 0 558555405 1908781056 313067 33554432000 4194304 6211132 140723987889584 139876583857016 5037850 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32300] ppid=32294 vsize=1864044 memory=10520 CPUtime=1.96 cores=0-7 /proc/32297/task/32300/stat : 32300 (cosoco) R 32294 32297 31337 0 -1 4202560 20303 0 0 0 194 2 0 0 20 0 9 0 558555405 1908781056 313067 33554432000 4194304 6211132 140723987889584 139876575464120 5039121 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32301] ppid=32294 vsize=1864044 memory=984 CPUtime=1.96 cores=0-7 /proc/32297/task/32301/stat : 32301 (cosoco) R 32294 32297 31337 0 -1 4202560 25128 0 0 0 174 22 0 0 20 0 9 0 558555405 1908781056 313067 33554432000 4194304 6211132 140723987889584 139876567071448 5039007 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32302] ppid=32294 vsize=1864044 memory=1736 CPUtime=1.94 cores=0-7 /proc/32297/task/32302/stat : 32302 (cosoco) R 32294 32297 31337 0 -1 4202560 24364 0 0 0 192 2 0 0 20 0 9 0 558555405 1908781056 313067 33554432000 4194304 6211132 140723987889584 139876558678712 5037823 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32303] ppid=32294 vsize=1864044 memory=279983549409600 CPUtime=1.96 cores=0-7 /proc/32297/task/32303/stat : 32303 (cosoco) R 32294 32297 31337 0 -1 4202560 38285 0 0 0 194 2 0 0 20 0 9 0 558555405 1908781056 313067 33554432000 4194304 6211132 140723987889584 139876550286040 5038718 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32304] ppid=32294 vsize=1864044 memory=278691837967446 CPUtime=1.97 cores=0-7 /proc/32297/task/32304/stat : 32304 (cosoco) R 32294 32297 31337 0 -1 4202560 20686 0 0 0 179 18 0 0 20 0 9 0 558555405 1908781056 313067 33554432000 4194304 6211132 140723987889584 139876541893336 5037882 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32305] ppid=32294 vsize=1864044 memory=278691837967447 CPUtime=1.96 cores=0-7 /proc/32297/task/32305/stat : 32305 (cosoco) R 32294 32297 31337 0 -1 4202560 30968 0 0 0 169 27 0 0 20 0 9 0 558555405 1908781056 313067 33554432000 4194304 6211132 140723987889584 139876533500632 5037823 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32306] ppid=32294 vsize=1864044 memory=0 CPUtime=1.97 cores=0-7 /proc/32297/task/32306/stat : 32306 (cosoco) R 32294 32297 31337 0 -1 4202560 35676 0 0 0 196 1 0 0 20 0 9 0 558555405 1908781056 313067 33554432000 4194304 6211132 140723987889584 139876525107896 5038848 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 Current children cumulated CPU time: 16.88 s Current children cumulated vsize: 1864044 KiB Current children cumulated memory: 1252268 KiB [startup+6.30131 s] /proc/loadavg: 2.38 1.32 1.58 9/202 32306 /proc/meminfo: memFree=28180660/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=1864044 memory=1252420 CPUtime=42.35 cores=0-7 /proc/32297/stat : 32297 (cosoco) S 32294 32297 31337 0 -1 1077944320 843855 0 0 0 4084 151 0 0 20 0 9 0 558555291 1908781056 313105 33554432000 4194304 6211132 140723987889584 140723987887840 139876607000311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 466011 313105 844 493 0 459316 0 [pid=32297/tid=32299] ppid=32294 vsize=1864044 memory=139996220720767 CPUtime=5.16 cores=0-7 /proc/32297/task/32299/stat : 32299 (cosoco) R 32294 32297 31337 0 -1 4202560 37297 0 0 0 498 18 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876583857016 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32300] ppid=32294 vsize=1864044 memory=776 CPUtime=5.15 cores=0-7 /proc/32297/task/32300/stat : 32300 (cosoco) R 32294 32297 31337 0 -1 4202560 43591 0 0 0 512 3 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876575464120 5039121 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32301] ppid=32294 vsize=1864044 memory=13396 CPUtime=5.16 cores=0-7 /proc/32297/task/32301/stat : 32301 (cosoco) R 32294 32297 31337 0 -1 4202560 67301 0 0 0 491 25 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876567071448 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32302] ppid=32294 vsize=1864044 memory=0 CPUtime=5.09 cores=0-7 /proc/32297/task/32302/stat : 32302 (cosoco) R 32294 32297 31337 0 -1 4202560 64678 0 0 0 505 4 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876558679136 5038992 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32303] ppid=32294 vsize=1864044 memory=0 CPUtime=5.15 cores=0-7 /proc/32297/task/32303/stat : 32303 (cosoco) R 32294 32297 31337 0 -1 4202560 97811 0 0 0 511 4 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876550286432 5038944 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32304] ppid=32294 vsize=1864044 memory=0 CPUtime=5.15 cores=0-7 /proc/32297/task/32304/stat : 32304 (cosoco) R 32294 32297 31337 0 -1 4202560 43118 0 0 0 494 21 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876541893304 5038944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32305] ppid=32294 vsize=1864044 memory=0 CPUtime=5.16 cores=0-7 /proc/32297/task/32305/stat : 32305 (cosoco) R 32294 32297 31337 0 -1 4202560 79464 0 0 0 485 31 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876533501024 5037821 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32306] ppid=32294 vsize=1864044 memory=1250684 CPUtime=5.15 cores=0-7 /proc/32297/task/32306/stat : 32306 (cosoco) R 32294 32297 31337 0 -1 4202560 97720 0 0 0 512 3 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876525108320 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 Current children cumulated CPU time: 42.35 s Current children cumulated vsize: 1864044 KiB Current children cumulated memory: 1252420 KiB [startup+12.7013 s] /proc/loadavg: 2.83 1.43 1.62 9/202 32306 /proc/meminfo: memFree=28180248/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=1864044 memory=1252420 CPUtime=93.47 cores=0-7 /proc/32297/stat : 32297 (cosoco) S 32294 32297 31337 0 -1 1077944320 1355346 0 0 0 9151 196 0 0 20 0 9 0 558555291 1908781056 313105 33554432000 4194304 6211132 140723987889584 140723987887840 139876607000311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 466011 313105 844 493 0 459316 0 [pid=32297/tid=32299] ppid=32294 vsize=1864044 memory=279983549403744 CPUtime=11.56 cores=0-7 /proc/32297/task/32299/stat : 32299 (cosoco) R 32294 32297 31337 0 -1 4202560 101017 0 0 0 1130 26 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876583857248 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32300] ppid=32294 vsize=1864044 memory=56 CPUtime=11.55 cores=0-7 /proc/32297/task/32300/stat : 32300 (cosoco) R 32294 32297 31337 0 -1 4202560 93944 0 0 0 1149 6 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876575464120 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32301] ppid=32294 vsize=1864044 memory=0 CPUtime=11.55 cores=0-7 /proc/32297/task/32301/stat : 32301 (cosoco) R 32294 32297 31337 0 -1 4202560 112519 0 0 0 1128 27 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876567071840 5037854 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32302] ppid=32294 vsize=1864044 memory=7523653952175762031 CPUtime=11.39 cores=0-7 /proc/32297/task/32302/stat : 32302 (cosoco) R 32294 32297 31337 0 -1 4202560 139333 0 0 0 1131 8 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876558679136 5037759 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32303] ppid=32294 vsize=1864044 memory=0 CPUtime=11.55 cores=0-7 /proc/32297/task/32303/stat : 32303 (cosoco) R 32294 32297 31337 0 -1 4202560 167787 0 0 0 1146 9 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876550286432 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32304] ppid=32294 vsize=1864044 memory=-2247047206254893657 CPUtime=11.56 cores=0-7 /proc/32297/task/32304/stat : 32304 (cosoco) R 32294 32297 31337 0 -1 4202560 93130 0 0 0 1127 29 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876541893304 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32305] ppid=32294 vsize=1864044 memory=164 CPUtime=11.55 cores=0-7 /proc/32297/task/32305/stat : 32305 (cosoco) R 32294 32297 31337 0 -1 4202560 164037 0 0 0 1113 42 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876533501024 5035344 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32306] ppid=32294 vsize=1864044 memory=4641640290248704102 CPUtime=11.55 cores=0-7 /proc/32297/task/32306/stat : 32306 (cosoco) R 32294 32297 31337 0 -1 4202560 170672 0 0 0 1147 8 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876525108320 5037783 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 Current children cumulated CPU time: 93.47 s Current children cumulated vsize: 1864044 KiB Current children cumulated memory: 1252420 KiB [startup+25.5013 s] /proc/loadavg: 3.97 1.76 1.72 9/203 32308 /proc/meminfo: memFree=28179368/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=1864044 memory=1252420 CPUtime=195.66 cores=0-7 /proc/32297/stat : 32297 (cosoco) S 32294 32297 31337 0 -1 1077944320 1955512 0 0 0 19301 265 0 0 20 0 9 0 558555291 1908781056 313105 33554432000 4194304 6211132 140723987889584 140723987887840 139876607000311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 466011 313105 844 493 0 459316 0 [pid=32297/tid=32299] ppid=32294 vsize=1864044 memory=56 CPUtime=24.35 cores=0-7 /proc/32297/task/32299/stat : 32299 (cosoco) R 32294 32297 31337 0 -1 4202560 169675 0 0 0 2392 43 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876583857248 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32300] ppid=32294 vsize=1864044 memory=56 CPUtime=24.33 cores=0-7 /proc/32297/task/32300/stat : 32300 (cosoco) R 32294 32297 31337 0 -1 4202560 175781 0 0 0 2423 10 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876575464544 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32301] ppid=32294 vsize=1864044 memory=3588 CPUtime=24.35 cores=0-7 /proc/32297/task/32301/stat : 32301 (cosoco) R 32294 32297 31337 0 -1 4202560 182365 0 0 0 2394 41 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876567071840 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32302] ppid=32294 vsize=1864044 memory=10520 CPUtime=24.01 cores=0-7 /proc/32297/task/32302/stat : 32302 (cosoco) R 32294 32297 31337 0 -1 4202560 217812 0 0 0 2388 13 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876558679136 5039014 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32303] ppid=32294 vsize=1864044 memory=3588 CPUtime=24.35 cores=0-7 /proc/32297/task/32303/stat : 32303 (cosoco) R 32294 32297 31337 0 -1 4202560 234979 0 0 0 2422 13 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876550286432 5038947 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32304] ppid=32294 vsize=1864044 memory=10520 CPUtime=24.35 cores=0-7 /proc/32297/task/32304/stat : 32304 (cosoco) R 32294 32297 31337 0 -1 4202560 171618 0 0 0 2393 42 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876541893728 5037823 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32305] ppid=32294 vsize=1864044 memory=1252420 CPUtime=24.36 cores=0-7 /proc/32297/task/32305/stat : 32305 (cosoco) R 32294 32297 31337 0 -1 4202560 244075 0 0 0 2389 47 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876533501024 5039026 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32306] ppid=32294 vsize=1864044 memory=0 CPUtime=24.35 cores=0-7 /proc/32297/task/32306/stat : 32306 (cosoco) R 32294 32297 31337 0 -1 4202560 246300 0 0 0 2422 13 0 0 20 0 9 0 558555405 1908781056 313105 33554432000 4194304 6211132 140723987889584 139876525108320 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 Current children cumulated CPU time: 195.66 s Current children cumulated vsize: 1864044 KiB Current children cumulated memory: 1252420 KiB [startup+51.1103 s] /proc/loadavg: 5.35 2.26 1.89 9/202 32309 /proc/meminfo: memFree=28181652/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=1864044 memory=1252436 CPUtime=400.14 cores=0-7 /proc/32297/stat : 32297 (cosoco) S 32294 32297 31337 0 -1 1077944320 2442540 0 0 0 39716 298 0 0 20 0 9 0 558555291 1908781056 313109 33554432000 4194304 6211132 140723987889584 140723987887840 139876607000311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 466011 313109 848 493 0 459316 0 [pid=32297/tid=32299] ppid=32294 vsize=1864044 memory=1252420 CPUtime=49.96 cores=0-7 /proc/32297/task/32299/stat : 32299 (cosoco) R 32294 32297 31337 0 -1 4202560 246396 0 0 0 4948 48 0 0 20 0 9 0 558555405 1908781056 313109 33554432000 4194304 6211132 140723987889584 139876583857248 5038982 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32300] ppid=32294 vsize=1864044 memory=1252436 CPUtime=49.94 cores=0-7 /proc/32297/task/32300/stat : 32300 (cosoco) R 32294 32297 31337 0 -1 4202560 250959 0 0 0 4980 14 0 0 20 0 9 0 558555405 1908781056 313109 33554432000 4194304 6211132 140723987889584 139876575464544 5038784 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32301] ppid=32294 vsize=1864044 memory=1096 CPUtime=49.96 cores=0-7 /proc/32297/task/32301/stat : 32301 (cosoco) R 32294 32297 31337 0 -1 4202560 259621 0 0 0 4949 47 0 0 20 0 9 0 558555405 1908781056 313109 33554432000 4194304 6211132 140723987889584 139876567071840 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32302] ppid=32294 vsize=1864044 memory=279983549399392 CPUtime=49.26 cores=0-7 /proc/32297/task/32302/stat : 32302 (cosoco) R 32294 32297 31337 0 -1 4202560 285040 0 0 0 4907 19 0 0 20 0 9 0 558555405 1908781056 313109 33554432000 4194304 6211132 140723987889584 139876558679136 5038947 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32303] ppid=32294 vsize=1864044 memory=1252436 CPUtime=49.95 cores=0-7 /proc/32297/task/32303/stat : 32303 (cosoco) R 32294 32297 31337 0 -1 4202560 274500 0 0 0 4979 16 0 0 20 0 9 0 558555405 1908781056 313109 33554432000 4194304 6211132 140723987889584 139876550286432 5038995 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 ################ # More data... # ################ /proc/32297/task/32303/stat : 32303 (cosoco) R 32294 32297 31337 0 -1 4202560 347165 0 0 0 7544 20 0 0 20 0 9 0 558555405 1908781056 313109 33554432000 4194304 6211132 140723987889584 139876550286432 5039536 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32304] ppid=32294 vsize=1864044 memory=1720 CPUtime=75.64 cores=0-7 /proc/32297/task/32304/stat : 32304 (cosoco) R 32294 32297 31337 0 -1 4202560 310140 0 0 0 7513 51 0 0 20 0 9 0 558555405 1908781056 313109 33554432000 4194304 6211132 140723987889584 139876541893728 5038944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32305] ppid=32294 vsize=1864044 memory=1252436 CPUtime=75.65 cores=0-7 /proc/32297/task/32305/stat : 32305 (cosoco) R 32294 32297 31337 0 -1 4202560 357184 0 0 0 7512 53 0 0 20 0 9 0 558555405 1908781056 313109 33554432000 4194304 6211132 140723987889584 139876533501024 5038995 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32306] ppid=32294 vsize=1864044 memory=1416 CPUtime=75.65 cores=0-7 /proc/32297/task/32306/stat : 32306 (cosoco) R 32294 32297 31337 0 -1 4202560 357005 0 0 0 7546 19 0 0 20 0 9 0 558555405 1908781056 313109 33554432000 4194304 6211132 140723987889584 139876525108320 5038992 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 Current children cumulated CPU time: 605.3 s Current children cumulated vsize: 1864044 KiB Current children cumulated memory: 1252436 KiB [startup+89.6013 s] /proc/loadavg: 6.64 2.98 2.14 9/202 32311 /proc/meminfo: memFree=28180456/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=1864044 memory=1252440 CPUtime=707.47 cores=0-7 /proc/32297/stat : 32297 (cosoco) S 32294 32297 31337 0 -1 1077944320 3117762 0 0 0 70402 345 0 0 20 0 9 0 558555291 1908781056 313110 33554432000 4194304 6211132 140723987889584 140723987887840 139876607000311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 466011 313110 849 493 0 459316 0 [pid=32297/tid=32299] ppid=32294 vsize=1864044 memory=1252436 CPUtime=88.44 cores=0-7 /proc/32297/task/32299/stat : 32299 (cosoco) R 32294 32297 31337 0 -1 4202560 324109 0 0 0 8788 56 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876583857248 5037823 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32300] ppid=32294 vsize=1864044 memory=0 CPUtime=88.42 cores=0-7 /proc/32297/task/32300/stat : 32300 (cosoco) R 32294 32297 31337 0 -1 4202560 333140 0 0 0 8822 20 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876575464544 5037854 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32301] ppid=32294 vsize=1864044 memory=0 CPUtime=88.43 cores=0-7 /proc/32297/task/32301/stat : 32301 (cosoco) R 32294 32297 31337 0 -1 4202560 339124 0 0 0 8790 53 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876567071840 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32302] ppid=32294 vsize=1864044 memory=0 CPUtime=87.19 cores=0-7 /proc/32297/task/32302/stat : 32302 (cosoco) R 32294 32297 31337 0 -1 4202560 358149 0 0 0 8696 23 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876558679136 5037750 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32303] ppid=32294 vsize=1864044 memory=984 CPUtime=88.44 cores=0-7 /proc/32297/task/32303/stat : 32303 (cosoco) R 32294 32297 31337 0 -1 4202560 387555 0 0 0 8821 23 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876550286432 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32304] ppid=32294 vsize=1864044 memory=1940 CPUtime=88.44 cores=0-7 /proc/32297/task/32304/stat : 32304 (cosoco) R 32294 32297 31337 0 -1 4202560 325286 0 0 0 8791 53 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876541893728 5037823 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32305] ppid=32294 vsize=1864044 memory=1416 CPUtime=88.45 cores=0-7 /proc/32297/task/32305/stat : 32305 (cosoco) R 32294 32297 31337 0 -1 4202560 357682 0 0 0 8792 53 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876533501024 5039561 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32306] ppid=32294 vsize=1864044 memory=6935054825532540783 CPUtime=88.44 cores=0-7 /proc/32297/task/32306/stat : 32306 (cosoco) R 32294 32297 31337 0 -1 4202560 379810 0 0 0 8822 22 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876525108320 5037825 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 Current children cumulated CPU time: 707.47 s Current children cumulated vsize: 1864044 KiB Current children cumulated memory: 1252440 KiB [startup+92.8013 s] /proc/loadavg: 6.64 2.98 2.14 9/202 32311 /proc/meminfo: memFree=28180396/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=1864044 memory=1252440 CPUtime=733.02 cores=0-7 /proc/32297/stat : 32297 (cosoco) S 32294 32297 31337 0 -1 1077944320 3169939 0 0 0 72954 348 0 0 20 0 9 0 558555291 1908781056 313110 33554432000 4194304 6211132 140723987889584 140723987887840 139876607000311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 466011 313110 849 493 0 459316 0 [pid=32297/tid=32299] ppid=32294 vsize=1864044 memory=1252440 CPUtime=91.64 cores=0-7 /proc/32297/task/32299/stat : 32299 (cosoco) R 32294 32297 31337 0 -1 4202560 324109 0 0 0 9108 56 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876583857248 5039022 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32300] ppid=32294 vsize=1864044 memory=1252440 CPUtime=91.62 cores=0-7 /proc/32297/task/32300/stat : 32300 (cosoco) R 32294 32297 31337 0 -1 4202560 333141 0 0 0 9142 20 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876575464544 5037823 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32301] ppid=32294 vsize=1864044 memory=10520 CPUtime=91.63 cores=0-7 /proc/32297/task/32301/stat : 32301 (cosoco) R 32294 32297 31337 0 -1 4202560 339135 0 0 0 9110 53 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876567071840 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32302] ppid=32294 vsize=1864044 memory=984 CPUtime=90.35 cores=0-7 /proc/32297/task/32302/stat : 32302 (cosoco) R 32294 32297 31337 0 -1 4202560 370859 0 0 0 9011 24 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876558679136 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32303] ppid=32294 vsize=1864044 memory=1252440 CPUtime=91.64 cores=0-7 /proc/32297/task/32303/stat : 32303 (cosoco) R 32294 32297 31337 0 -1 4202560 387558 0 0 0 9141 23 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876550286432 5037825 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32304] ppid=32294 vsize=1864044 memory=6436 CPUtime=91.64 cores=0-7 /proc/32297/task/32304/stat : 32304 (cosoco) R 32294 32297 31337 0 -1 4202560 325290 0 0 0 9111 53 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876541893728 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32305] ppid=32294 vsize=1864044 memory=14068 CPUtime=91.65 cores=0-7 /proc/32297/task/32305/stat : 32305 (cosoco) R 32294 32297 31337 0 -1 4202560 384839 0 0 0 9110 55 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876533501024 5037744 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32306] ppid=32294 vsize=1864044 memory=1940 CPUtime=91.65 cores=0-7 /proc/32297/task/32306/stat : 32306 (cosoco) R 32294 32297 31337 0 -1 4202560 392101 0 0 0 9142 23 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876525108320 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 Current children cumulated CPU time: 733.02 s Current children cumulated vsize: 1864044 KiB Current children cumulated memory: 1252440 KiB [startup+96.0013 s]* /proc/loadavg: 6.75 3.06 2.18 9/202 32311 /proc/meminfo: memFree=28180716/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=1864044 memory=1252440 CPUtime=758.64 cores=0-7 /proc/32297/stat : 32297 (cosoco) S 32294 32297 31337 0 -1 1077944320 3169944 0 0 0 75516 348 0 0 20 0 9 0 558555291 1908781056 313110 33554432000 4194304 6211132 140723987889584 140723987887840 139876607000311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 466011 313110 849 493 0 459316 0 [pid=32297/tid=32299] ppid=32294 vsize=1864044 memory=740 CPUtime=94.85 cores=0-7 /proc/32297/task/32299/stat : 32299 (cosoco) R 32294 32297 31337 0 -1 4202560 324110 0 0 0 9429 56 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876583857248 5038686 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32300] ppid=32294 vsize=1864044 memory=1052 CPUtime=94.83 cores=0-7 /proc/32297/task/32300/stat : 32300 (cosoco) R 32294 32297 31337 0 -1 4202560 333141 0 0 0 9463 20 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876575464544 5037854 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32301] ppid=32294 vsize=1864044 memory=7548 CPUtime=94.84 cores=0-7 /proc/32297/task/32301/stat : 32301 (cosoco) R 32294 32297 31337 0 -1 4202560 339138 0 0 0 9431 53 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876567071840 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32302] ppid=32294 vsize=1864044 memory=1398722017469774279 CPUtime=93.5 cores=0-7 /proc/32297/task/32302/stat : 32302 (cosoco) R 32294 32297 31337 0 -1 4202560 370859 0 0 0 9326 24 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876558679136 5038964 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32303] ppid=32294 vsize=1864044 memory=4004 CPUtime=94.85 cores=0-7 /proc/32297/task/32303/stat : 32303 (cosoco) R 32294 32297 31337 0 -1 4202560 387558 0 0 0 9462 23 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876550286432 5039121 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32304] ppid=32294 vsize=1864044 memory=2832 CPUtime=94.85 cores=0-7 /proc/32297/task/32304/stat : 32304 (cosoco) R 32294 32297 31337 0 -1 4202560 325290 0 0 0 9432 53 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876541893728 5037865 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32305] ppid=32294 vsize=1864044 memory=776 CPUtime=94.86 cores=0-7 /proc/32297/task/32305/stat : 32305 (cosoco) R 32294 32297 31337 0 -1 4202560 384840 0 0 0 9431 55 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876533501024 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32306] ppid=32294 vsize=1864044 memory=1720 CPUtime=94.86 cores=0-7 /proc/32297/task/32306/stat : 32306 (cosoco) R 32294 32297 31337 0 -1 4202560 392101 0 0 0 9463 23 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876525108320 5038686 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 Current children cumulated CPU time: 758.64 s Current children cumulated vsize: 1864044 KiB Current children cumulated memory: 1252440 KiB [startup+97.6013 s] /proc/loadavg: 6.75 3.06 2.18 9/202 32311 /proc/meminfo: memFree=28180716/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=1864044 memory=1252440 CPUtime=771.35 cores=0-7 /proc/32297/stat : 32297 (cosoco) S 32294 32297 31337 0 -1 1077944320 3211856 0 0 0 76784 351 0 0 20 0 9 0 558555291 1908781056 313110 33554432000 4194304 6211132 140723987889584 140723987887840 139876607000311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 466011 313110 849 493 0 459316 0 [pid=32297/tid=32299] ppid=32294 vsize=1864044 memory=6935054825532540783 CPUtime=96.44 cores=0-7 /proc/32297/task/32299/stat : 32299 (cosoco) R 32294 32297 31337 0 -1 4202560 324110 0 0 0 9588 56 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876583857248 5037850 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32300] ppid=32294 vsize=1864044 memory=10520 CPUtime=96.42 cores=0-7 /proc/32297/task/32300/stat : 32300 (cosoco) R 32294 32297 31337 0 -1 4202560 333141 0 0 0 9622 20 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876575464544 5038992 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32301] ppid=32294 vsize=1864044 memory=984 CPUtime=96.44 cores=0-7 /proc/32297/task/32301/stat : 32301 (cosoco) R 32294 32297 31337 0 -1 4202560 363071 0 0 0 9589 55 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876567071840 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32302] ppid=32294 vsize=1864044 memory=1940 CPUtime=95.07 cores=0-7 /proc/32297/task/32302/stat : 32302 (cosoco) R 32294 32297 31337 0 -1 4202560 388828 0 0 0 9482 25 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876558679136 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32303] ppid=32294 vsize=1864044 memory=1252440 CPUtime=96.44 cores=0-7 /proc/32297/task/32303/stat : 32303 (cosoco) R 32294 32297 31337 0 -1 4202560 387562 0 0 0 9621 23 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876550286432 5039132 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32304] ppid=32294 vsize=1864044 memory=1720 CPUtime=96.44 cores=0-7 /proc/32297/task/32304/stat : 32304 (cosoco) R 32294 32297 31337 0 -1 4202560 325293 0 0 0 9591 53 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876541893728 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32305] ppid=32294 vsize=1864044 memory=1096 CPUtime=96.45 cores=0-7 /proc/32297/task/32305/stat : 32305 (cosoco) R 32294 32297 31337 0 -1 4202560 384843 0 0 0 9590 55 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876533501024 5008944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32306] ppid=32294 vsize=1864044 memory=6304 CPUtime=96.45 cores=0-7 /proc/32297/task/32306/stat : 32306 (cosoco) R 32294 32297 31337 0 -1 4202560 392101 0 0 0 9622 23 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876525108320 5035337 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 Current children cumulated CPU time: 771.35 s Current children cumulated vsize: 1864044 KiB Current children cumulated memory: 1252440 KiB [startup+98.0013 s]* /proc/loadavg: 6.75 3.06 2.18 9/202 32311 /proc/meminfo: memFree=28180716/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=1864044 memory=1252440 CPUtime=774.61 cores=0-7 /proc/32297/stat : 32297 (cosoco) S 32294 32297 31337 0 -1 1077944320 3211858 0 0 0 77110 351 0 0 20 0 9 0 558555291 1908781056 313110 33554432000 4194304 6211132 140723987889584 140723987887840 139876607000311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 466011 313110 849 493 0 459316 0 [pid=32297/tid=32299] ppid=32294 vsize=1864044 memory=1398722017469774279 CPUtime=96.84 cores=0-7 /proc/32297/task/32299/stat : 32299 (cosoco) R 32294 32297 31337 0 -1 4202560 324110 0 0 0 9628 56 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876583857248 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32300] ppid=32294 vsize=1864044 memory=8098708429527083096 CPUtime=96.83 cores=0-7 /proc/32297/task/32300/stat : 32300 (cosoco) R 32294 32297 31337 0 -1 4202560 333141 0 0 0 9663 20 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876575464544 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32301] ppid=32294 vsize=1864044 memory=8098708429527083096 CPUtime=96.85 cores=0-7 /proc/32297/task/32301/stat : 32301 (cosoco) R 32294 32297 31337 0 -1 4202560 363071 0 0 0 9630 55 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876567071840 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32302] ppid=32294 vsize=1864044 memory=8098708429527083096 CPUtime=95.47 cores=0-7 /proc/32297/task/32302/stat : 32302 (cosoco) R 32294 32297 31337 0 -1 4202560 388828 0 0 0 9522 25 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876558679136 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32303] ppid=32294 vsize=1864044 memory=8098708429527083096 CPUtime=96.85 cores=0-7 /proc/32297/task/32303/stat : 32303 (cosoco) R 32294 32297 31337 0 -1 4202560 387563 0 0 0 9662 23 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876550286432 5037825 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32304] ppid=32294 vsize=1864044 memory=8098708429527083096 CPUtime=96.85 cores=0-7 /proc/32297/task/32304/stat : 32304 (cosoco) R 32294 32297 31337 0 -1 4202560 325293 0 0 0 9632 53 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876541893728 5039026 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32305] ppid=32294 vsize=1864044 memory=8098708429527083096 CPUtime=96.86 cores=0-7 /proc/32297/task/32305/stat : 32305 (cosoco) R 32294 32297 31337 0 -1 4202560 384844 0 0 0 9631 55 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876533501024 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 [pid=32297/tid=32306] ppid=32294 vsize=1864044 memory=8098708429527083096 CPUtime=96.86 cores=0-7 /proc/32297/task/32306/stat : 32306 (cosoco) R 32294 32297 31337 0 -1 4202560 392101 0 0 0 9663 23 0 0 20 0 9 0 558555405 1908781056 313110 33554432000 4194304 6211132 140723987889584 139876525108320 5039189 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 Current children cumulated CPU time: 774.61 s Current children cumulated vsize: 1864044 KiB Current children cumulated memory: 1252440 KiB [startup+98.4006 s] /proc/loadavg: 6.75 3.06 2.18 9/202 32311 /proc/meminfo: memFree=28180716/32770624 swapFree=67002708/67108860 [pid=32297] ppid=32294 vsize=1864044 memory=1252444 CPUtime=777.57 cores=0-7 /proc/32297/stat : 32297 (cosoco) S 32294 32297 31337 0 -1 1077944320 3211880 0 0 0 77406 351 0 0 20 0 2 0 558555291 1908781056 313111 33554432000 4194304 6211132 140723987889584 140723987887840 139876607000311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 /proc/32297/statm: 466011 313111 850 493 0 459316 0 [pid=32297/tid=32299] ppid=32294 vsize=1864044 memory=6304 CPUtime=97.23 cores=0-7 /proc/32297/task/32299/stat : 32299 (cosoco) R 32294 32297 31337 0 -1 4202560 324110 0 0 0 9667 56 0 0 20 0 2 0 558555405 1908781056 313111 33554432000 4194304 6211132 140723987889584 139876583857248 5039022 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24190976 140723987891217 140723987891309 140723987891309 140723987894222 0 Current children cumulated CPU time: 777.57 s Current children cumulated vsize: 1864044 KiB Current children cumulated memory: 1252444 KiB [startup+98.5005 s]* /proc/loadavg: 6.75 3.06 2.18 2/194 32311 /proc/meminfo: memFree=29097028/32770624 swapFree=67002708/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): 98.5261 CPU time (s): 777.708 CPU user time (s): 774.094 CPU system time (s): 3.61373 CPU usage (%): 789.341 Max. virtual memory (cumulated for all children) (KiB): 1864044 Max. memory (cumulated for all children) (KiB): 1252444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 774.094 system time used= 3.61373 maximum resident set size= 1252572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3211913 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= 406 involuntary context switches= 6713 # summary of solver processes directly reported to runsolver: # pid: 32297 # total CPU time (s): 777.708 # total CPU user time (s): 774.094 # total CPU system time (s): 3.61373 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.52547 second user time and 0.931459 second system time The end
Begin job on node148 at 2019-09-30 08:11:40 IDJOB=4409328 IDBENCH=125859 IDSOLVER=2877 FILE ID=node148/4409328-1569823938 RUNJOBID= node148-1569816318-31364 PBS_JOBID= 21705905 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/QRandom/QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-15.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409328-1569823938/watcher-4409328-1569823938 -o /tmp/evaluation-result-4409328-1569823938/solver-4409328-1569823938 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569816318-31364 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409328-1569823938.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1cb2c7d0d6cb70a3feacaee85115a742 RANDOM SEED=1353803531 node148.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.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 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: 29427760 kB MemAvailable: 31871048 kB Buffers: 134392 kB Cached: 2646884 kB SwapCached: 3492 kB Active: 1788764 kB Inactive: 997216 kB Active(anon): 2044 kB Inactive(anon): 82696 kB Active(file): 1786720 kB Inactive(file): 914520 kB Unevictable: 110988 kB Mlocked: 110988 kB SwapTotal: 67108860 kB SwapFree: 67002708 kB Dirty: 4624 kB Writeback: 0 kB AnonPages: 112908 kB Mapped: 26792 kB Shmem: 71772 kB Slab: 144660 kB SReclaimable: 115768 kB SUnreclaim: 28892 kB KernelStack: 3424 kB PageTables: 5840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538560 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: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62028 MiB End job on node148 at 2019-09-30 08:13:19