Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.O parallel | UNSAT | 811.99 | 102.81 |
Name | QRandom/ QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-06.xml |
MD5SUM | 1db35719a72b9401cb48f365dc7349f7 |
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 | 21.6676 |
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 | 1893 |
Maximum variable degree | 1975 |
Distribution of variable degrees | [{"degree":1893,"count":1},{"degree":1905,"count":1},{"degree":1910,"count":2},{"degree":1918,"count":1},{"degree":1921,"count":1},{"degree":1923,"count":1},{"degree":1926,"count":1},{"degree":1933,"count":1},{"degree":1942,"count":1},{"degree":1943,"count":1},{"degree":1944,"count":1},{"degree":1947,"count":2},{"degree":1952,"count":1},{"degree":1956,"count":1},{"degree":1957,"count":1},{"degree":1961,"count":1},{"degree":1962,"count":1},{"degree":1970,"count":1},{"degree":1975,"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.72/2.12 c root propagations : 0 8.72/2.12 c restarts enabled, print stats at every restarts 8.72/2.12 c 8.72/2.12 c 8.72/2.12 c 8.72/2.12 c This is cosoco 2.00 -- 8.72/2.12 c 8.72/2.12 c command line: cosoco -model -nbcores=8 HOME/instance-4398098-1568602307.xml 8.72/2.12 c ========================================[ Problem Statistics ]=========================================== 8.72/2.12 c | 8.72/2.12 c | Parse time : 0.78 s 8.72/2.12 c | 8.72/2.12 c | Variables: 21 8.72/2.12 c | Domain Sizes: 2..2 8.72/2.12 c | 8.72/2.12 c | Constraints: 2713 8.72/2.12 c | Arity: 15..15 8.72/2.12 c | 8.72/2.12 c | Types: 8.72/2.12 c | Extension: 2713 (nb tuples: 6935..6935) -- (shared: 21696) 8.72/2.12 c | 8.72/2.12 c ========================================================================================================= 8.72/2.12 c Parallel mode: Portfolio 8.72/2.12 c [pFactory][Group N°0] created (threads:8). 8.72/2.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 8.72/2.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 8.72/2.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 8.72/2.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 8.72/2.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 8.72/2.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 8.72/2.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 8.72/2.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 8.72/2.12 c [pFactory][Group N°0] concurrent mode: enabled. 8.72/2.12 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 8.72/2.12 c [pFactory][Group N°0] task 7 launched on thread 6. 8.72/2.12 c [pFactory][Group N°0] task 6 launched on thread 0. 8.72/2.12 c [pFactory][Group N°0] task 5 launched on thread 1. 8.72/2.12 c [pFactory][Group N°0] task 4 launched on thread 7. 8.72/2.12 c [pFactory][Group N°0] task 3 launched on thread 2. 8.72/2.12 c [pFactory][Group N°0] task 2 launched on thread 5. 8.72/2.12 c [pFactory][Group N°0] task 1 launched on thread 3. 8.72/2.12 c [pFactory][Group N°0] task 0 launched on thread 4. 8.72/2.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.72/2.12 c root propagations : 0 8.72/2.12 c restarts enabled, print stats at every restarts 8.72/2.12 c 8.72/2.12 c 8.72/2.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.72/2.12 c root propagations : 0 8.72/2.12 c restarts enabled, print stats at every restarts 8.72/2.12 c 8.72/2.12 c 8.72/2.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.72/2.12 c root propagations : 0 8.72/2.12 c restarts enabled, print stats at every restarts 8.72/2.12 c 8.72/2.12 c 8.72/2.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.72/2.12 c root propagations : 0 8.72/2.12 c restarts enabled, print stats at every restarts 8.72/2.12 c 8.72/2.12 c 8.72/2.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.72/2.12 c root propagations : 0 8.72/2.12 c restarts enabled, print stats at every restarts 8.72/2.12 c 8.72/2.12 c 8.72/2.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.72/2.13 c root propagations : 0 8.72/2.13 c restarts enabled, print stats at every restarts 8.72/2.13 c 8.72/2.13 c 8.72/2.13 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 8.72/2.14 c root propagations : 0 8.72/2.14 c restarts enabled, print stats at every restarts 8.72/2.14 c 8.72/2.14 c 8.72/2.14 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 34.20/5.40 c 32 111 238682 755 0 0 8 11 9 37.40/5.79 c 32 112 245824 832 0 0 6 11 9 38.20/5.82 c 32 117 253695 753 0 0 7 13 10 40.66/6.13 c 32 118 256849 783 0 0 6 13 10 44.59/6.63 c 33 121 259408 789 0 0 10 10 5 46.99/7.01 c 33 122 265766 866 0 0 10 10 5 47.84/7.10 c 33 127 274333 784 0 0 10 10 5 51.77/7.51 c 33 128 277286 825 0 0 10 10 5 76.53/10.65 c 64 229 508092 1575 0 0 7 11 9 77.33/10.75 c 64 230 505196 1643 0 0 6 11 9 81.31/11.23 c 64 237 527425 1591 0 0 7 11 9 82.91/11.42 c 64 232 511056 1549 0 0 7 11 9 86.11/11.88 c 65 238 526783 1596 0 0 9 9 4 86.90/11.98 c 101 346 759301 2457 0 0 6 12 10 87.77/12.03 c 65 239 524499 1666 0 0 9 9 4 90.89/12.48 c 65 246 546609 1614 0 0 9 9 4 92.50/12.62 c 101 358 788766 2354 0 0 7 12 10 92.50/12.68 c 101 359 807737 2517 0 0 5 11 9 93.29/12.74 c 65 242 532505 1580 0 0 10 10 5 94.10/12.82 c 101 344 758580 2365 0 0 8 13 10 96.55/13.12 c 66 247 546146 1629 0 0 9 9 4 98.08/13.33 c 66 248 543794 1689 0 0 9 9 4 102.08/13.81 c 66 255 565805 1635 0 0 9 9 4 103.74/14.05 c 66 252 553912 1611 0 0 10 10 5 106.07/14.37 c 67 257 567975 1665 0 0 10 10 5 109.27/14.75 c 67 257 563097 1712 0 0 9 9 4 111.73/15.05 c 67 264 584989 1658 0 0 9 9 4 114.06/15.30 c 67 262 575337 1642 0 0 10 10 5 161.15/21.26 c 128 477 1069722 3136 0 0 7 11 9 163.56/21.59 c 128 482 1073453 3117 0 0 7 11 9 165.15/21.72 c 128 488 1075863 3252 0 0 9 11 10 167.60/22.03 c 128 474 1040485 3104 0 0 8 11 9 171.54/22.50 c 129 487 1089579 3164 0 0 10 10 5 173.93/22.85 c 129 492 1093681 3151 0 0 10 10 5 176.39/23.14 c 129 498 1096298 3286 0 0 10 10 5 178.73/23.45 c 129 484 1060417 3126 0 0 10 10 5 180.32/23.68 c 130 497 1109462 3192 0 0 10 10 5 181.93/23.87 c 211 745 1631895 4996 0 0 7 11 9 183.58/24.02 c 211 720 1592229 5079 0 0 6 11 9 184.38/24.15 c 130 502 1113923 3185 0 0 10 10 5 185.12/24.21 c 211 738 1650064 5242 0 0 8 11 9 187.51/24.58 c 130 508 1117964 3330 0 0 10 10 5 190.71/24.92 c 130 494 1080409 3161 0 0 10 10 5 190.71/24.92 c 131 507 1129922 3221 0 0 10 10 5 191.56/25.02 c 211 733 1647102 5136 0 0 7 11 9 195.49/25.56 c 131 512 1134151 3219 0 0 10 10 5 199.55/26.03 c 131 518 1138406 3364 0 0 10 10 5 201.08/26.22 c 132 517 1151159 3258 0 0 10 10 5 201.88/26.36 c 131 505 1101898 3184 0 0 11 11 5 205.88/26.89 c 132 522 1154370 3253 0 0 10 10 5 210.67/27.41 c 132 528 1160129 3408 0 0 10 10 5 211.47/27.53 c 133 527 1171619 3287 0 0 10 10 5 213.07/27.76 c 132 516 1123406 3207 0 0 11 11 5 217.05/28.24 c 133 532 1174526 3276 0 0 10 10 5 221.05/28.80 c 134 537 1192855 3324 0 0 10 10 5 221.86/28.82 c 133 538 1181835 3452 0 0 10 10 5 224.31/29.16 c 133 526 1143338 3229 0 0 10 10 5 227.44/29.56 c 134 542 1194741 3310 0 0 10 10 5 231.50/30.08 c 135 547 1213315 3353 0 0 10 10 5 232.31/30.14 c 134 548 1201918 3483 0 0 10 10 5 235.43/30.54 c 134 536 1163356 3264 0 0 10 10 5 237.83/30.88 c 135 552 1214897 3333 0 0 10 10 5 243.40/31.52 c 135 558 1222009 3514 0 0 10 10 5 246.61/31.94 c 135 547 1184845 3287 0 0 11 11 5 284.94/36.73 c 332 1191 2586129 8035 0 0 8 11 9 286.54/36.98 c 332 1140 2547056 8104 0 0 7 11 9 292.12/37.66 c 332 1152 2557589 8029 0 0 6 11 9 299.32/38.56 c 332 1157 2631843 8112 0 0 5 11 9 334.45/42.91 c 256 995 2216705 6443 0 0 6 11 9 339.24/43.54 c 256 988 2200984 6294 0 0 5 11 10 344.82/44.21 c 257 1005 2237183 6470 0 0 10 10 5 345.62/44.33 c 256 968 2103192 6180 0 0 5 11 9 347.23/44.53 c 256 996 2220612 6577 0 0 6 11 10 349.62/44.87 c 257 999 2223006 6333 0 0 11 11 5 354.41/45.44 c 258 1015 2257612 6497 0 0 10 10 5 356.01/45.66 c 257 979 2124613 6205 0 0 11 11 5 358.40/45.91 c 257 1006 2241298 6608 0 0 10 10 5 360.79/46.23 c 258 1010 2245079 6372 0 0 11 11 5 363.99/46.68 c 259 1025 2278090 6524 0 0 10 10 5 367.25/47.01 c 258 990 2146053 6230 0 0 11 11 5 369.58/47.31 c 258 1016 2261972 6639 0 0 10 10 5 371.98/47.60 c 259 1021 2267101 6411 0 0 11 11 5 373.58/47.88 c 260 1035 2298519 6551 0 0 10 10 5 378.37/48.41 c 259 1001 2167474 6255 0 0 11 11 5 380.76/48.71 c 259 1026 2282658 6670 0 0 10 10 5 382.37/48.94 c 260 1032 2289174 6450 0 0 11 11 5 383.23/49.06 c 261 1045 2318997 6578 0 0 10 10 5 388.75/49.72 c 260 1012 2188914 6280 0 0 11 11 5 391.21/50.06 c 260 1036 2303391 6701 0 0 10 10 5 392.74/50.23 c 262 1055 2339426 6605 0 0 10 10 5 392.74/50.25 c 261 1043 2310862 6480 0 0 11 11 5 399.19/51.01 c 465 1656 3602879 11274 0 0 4 11 9 399.19/51.02 c 261 1023 2210335 6305 0 0 11 11 5 402.32/51.43 c 263 1065 2359904 6632 0 0 10 10 5 402.32/51.43 c 261 1046 2324065 6732 0 0 10 10 5 402.32/51.48 c 465 1614 3602578 11366 0 0 5 11 9 403.12/51.59 c 262 1054 2333065 6519 0 0 11 11 5 409.51/52.30 c 262 1034 2231775 6330 0 0 11 11 5 411.11/52.59 c 264 1075 2380333 6659 0 0 10 10 5 412.70/52.77 c 262 1055 2342896 6754 0 0 9 9 4 413.50/52.87 c 263 1065 2354753 6549 0 0 11 11 5 419.10/53.53 c 465 1635 3628177 11370 0 0 7 11 10 419.10/53.60 c 263 1045 2253196 6355 0 0 11 11 5 420.70/53.75 c 265 1085 2400811 6686 0 0 10 10 5 420.70/53.79 c 465 1616 3700902 11398 0 0 7 11 9 423.95/54.14 c 263 1064 2361724 6776 0 0 9 9 4 423.95/54.18 c 264 1076 2376956 6588 0 0 11 11 5 429.48/54.88 c 264 1056 2274636 6380 0 0 11 11 5 430.28/54.90 c 266 1095 2421240 6713 0 0 10 10 5 434.27/55.44 c 264 1074 2382457 6807 0 0 10 10 5 434.27/55.46 c 265 1087 2398644 6618 0 0 11 11 5 439.12/56.06 c 267 1105 2441718 6740 0 0 10 10 5 439.93/56.18 c 265 1067 2296057 6405 0 0 11 11 5 444.65/56.77 c 266 1098 2420847 6657 0 0 11 11 5 444.65/56.79 c 265 1084 2403131 6838 0 0 10 10 5 448.64/57.21 c 268 1115 2462147 6767 0 0 10 10 5 450.24/57.47 c 266 1078 2317497 6430 0 0 11 11 5 455.09/58.05 c 267 1109 2442535 6687 0 0 11 11 5 455.09/58.10 c 266 1093 2421962 6860 0 0 9 9 4 457.42/58.36 c 269 1125 2482620 6794 0 0 10 10 5 460.63/58.76 c 267 1089 2338918 6455 0 0 11 11 5 465.42/59.35 c 268 1120 2464738 6726 0 0 11 11 5 466.22/59.41 c 267 1102 2440807 6882 0 0 9 9 4 467.82/59.64 c 270 1135 2503049 6821 0 0 10 10 5 471.07/60.05 c 268 1100 2360358 6480 0 0 11 11 5 475.80/60.63 c 269 1131 2486426 6756 0 0 11 11 5 476.60/60.71 c 268 1111 2459638 6904 0 0 9 9 4 477.40/60.86 c 271 1145 2523522 6848 0 0 10 10 5 481.37/61.34 c 269 1111 2381779 6505 0 0 11 11 5 486.17/61.94 c 269 1120 2478483 6926 0 0 9 9 4 486.17/61.94 c 270 1142 2508629 6795 0 0 11 11 5 491.75/62.63 c 270 1122 2403219 6530 0 0 11 11 5 495.82/63.18 c 270 1129 2497314 6948 0 0 9 9 4 496.54/63.23 c 271 1153 2530317 6825 0 0 11 11 5 502.14/63.93 c 271 1132 2423452 6559 0 0 10 10 5 506.12/64.41 c 271 1138 2516159 6970 0 0 9 9 4 526.10/66.90 c 611 2165 4729597 14902 0 0 6 11 9 527.76/67.15 c 611 2142 4770958 15116 0 0 6 11 9 542.93/69.01 c 611 2151 4743653 14904 0 0 6 11 10 551.72/70.15 c 611 2151 4927909 15096 0 0 6 11 9 669.84/84.95 c 771 2777 6065570 18958 0 0 8 11 9 670.70/85.06 c 771 2727 6080625 19049 0 0 7 11 9 681.01/86.31 c 512 2011 4474036 12989 1 0 6 11 9 684.21/86.76 c 771 2737 6022997 18992 0 0 7 11 10 685.81/86.92 c 771 2723 6184274 19086 0 0 5 11 9 688.21/87.24 c 513 2021 4495561 13015 1 0 10 10 5 690.60/87.53 c 512 2016 4470758 12883 0 0 6 11 10 695.42/88.14 c 514 2031 4517043 13041 1 0 10 10 5 695.42/88.19 c 512 2004 4329894 12446 0 0 5 11 9 702.60/89.04 c 515 2041 4538568 13067 1 0 10 10 5 703.41/89.19 c 512 2000 4484071 12893 0 0 5 11 9 704.19/89.24 c 513 2027 4494563 12915 1 0 11 11 5 708.93/89.82 c 513 2014 4352441 12482 1 0 10 10 5 709.73/89.93 c 516 2051 4560050 13093 1 0 10 10 5 712.14/90.24 c 514 2038 4518090 12955 1 0 11 11 5 716.12/90.80 c 513 2010 4506684 12926 1 0 10 10 5 716.91/90.80 c 514 2024 4373002 12517 1 0 10 10 5 716.91/90.82 c 517 2061 4581575 13119 1 0 10 10 5 720.10/91.21 c 515 2049 4539925 12986 1 0 11 11 5 724.10/91.71 c 518 2071 4603057 13145 1 0 10 10 5 724.10/91.77 c 514 2020 4527277 12958 1 0 10 10 5 724.90/91.81 c 515 2034 4393579 12552 1 0 10 10 5 727.36/92.16 c 516 2060 4563452 13026 1 0 11 11 5 731.28/92.61 c 519 2081 4624582 13171 1 0 10 10 5 732.08/92.78 c 515 2030 4547920 12990 1 0 10 10 5 732.08/92.78 c 516 2044 4414140 12587 1 0 10 10 5 734.54/93.10 c 517 2071 4586939 13066 1 0 11 11 5 737.67/93.48 c 520 2091 4646064 13197 1 0 10 10 5 740.07/93.75 c 516 2040 4568513 13022 1 0 10 10 5 740.07/93.76 c 517 2054 4434717 12622 1 0 10 10 5 742.52/94.06 c 518 2082 4610466 13106 1 0 11 11 5 744.86/94.36 c 521 2101 4667589 13223 1 0 10 10 5 748.06/94.73 c 518 2064 4455278 12657 1 0 10 10 5 748.06/94.74 c 517 2050 4589156 13054 1 0 10 10 5 750.51/95.01 c 519 2093 4633953 13146 1 0 11 11 5 752.10/95.26 c 522 2111 4691012 13262 1 0 10 10 5 756.05/95.70 c 519 2074 4475855 12692 1 0 10 10 5 756.05/95.71 c 518 2060 4609749 13086 1 0 10 10 5 757.65/95.97 c 520 2104 4657480 13186 1 0 11 11 5 759.31/96.12 c 523 2121 4712537 13288 1 0 10 10 5 763.24/96.68 c 520 2084 4496416 12727 1 0 10 10 5 763.24/96.68 c 519 2070 4630392 13118 1 0 10 10 5 765.63/96.93 c 521 2115 4680967 13226 1 0 11 11 5 766.48/97.01 c 524 2131 4735998 13327 1 0 10 10 5 771.21/97.67 c 521 2094 4516993 12762 1 0 10 10 5 771.21/97.68 c 520 2080 4650985 13150 1 0 10 10 5 772.80/97.89 c 522 2126 4704508 13266 1 0 11 11 5 773.60/97.94 c 525 2141 4759464 13366 1 0 10 10 5 779.18/98.64 c 522 2104 4537554 12797 1 0 10 10 5 779.18/98.66 c 521 2090 4671628 13182 1 0 10 10 5 779.98/98.79 c 526 2151 4781337 13396 2 0 10 10 5 781.58/98.92 c 523 2137 4729970 13307 2 0 11 11 5 784.77/99.36 c 527 2160 4801075 13415 3 0 9 9 4 785.57/99.48 c 523 2114 4559865 12822 3 0 10 10 5 786.37/99.51 c 522 2099 4692728 13203 3 0 9 9 4 786.37/99.57 c 524 2147 4754442 13341 3 0 10 10 5 788.77/99.81 c 528 2170 4823039 13455 3 0 10 10 5 789.57/99.96 c 524 2124 4580023 12851 3 0 10 10 5 789.57/99.97 c 523 2108 4711326 13225 3 0 9 9 4 790.42/100.02 c 525 2157 4775587 13362 3 0 10 10 5 791.96/100.26 c 529 2180 4845046 13495 3 0 10 10 5 793.56/100.42 c 524 2117 4729896 13244 3 0 9 9 4 793.56/100.42 c 525 2134 4600150 12880 3 0 10 10 5 793.56/100.49 c 526 2167 4798112 13395 3 0 10 10 5 795.17/100.69 c 530 2190 4867034 13535 3 0 10 10 5 796.76/100.87 c 525 2126 4748494 13266 3 0 9 9 4 796.76/100.87 c 526 2144 4620308 12909 3 0 10 10 5 797.56/100.94 c 527 2177 4819257 13416 3 0 10 10 5 798.42/101.11 c 531 2199 4886788 13559 4 0 9 9 4 800.75/101.36 c 526 2136 4770677 13295 4 0 10 10 5 800.75/101.38 c 527 2154 4642387 12939 4 0 10 10 5 801.55/101.40 c 532 2208 4904585 13582 4 0 9 9 4 801.55/101.42 c 528 2187 4843734 13450 4 0 10 10 5 803.94/101.73 c 527 2147 4794169 13332 5 0 11 11 5 803.94/101.73 c 528 2164 4664244 12970 5 0 10 10 5 803.94/101.74 c 533 2218 4926501 13611 5 0 10 10 5 803.94/101.78 c 529 2197 4865339 13482 5 0 10 10 5 805.54/101.98 c 529 2174 4684685 13003 5 0 10 10 5 805.54/101.99 c 528 2158 4816111 13370 5 0 11 11 5 805.54/101.99 c 534 2228 4946847 13652 5 0 10 10 5 806.43/102.02 c 530 2207 4885035 13513 5 0 10 10 5 807.93/102.24 c 530 2184 4705120 13036 5 0 10 10 5 807.93/102.25 c 535 2238 4967217 13693 5 0 10 10 5 807.93/102.26 c 529 2169 4838036 13408 5 0 11 11 5 807.93/102.27 c 531 2217 4904730 13544 5 0 10 10 5 809.53/102.49 c 947 3355 7456912 23386 6 0 6 11 9 810.33/102.50 c 531 2194 4727343 13069 6 0 10 10 5 810.33/102.52 c 532 2226 4924455 13567 6 0 9 9 4 810.33/102.53 c 536 2248 4990201 13737 6 0 10 10 5 810.33/102.53 c 530 2179 4860547 13443 6 0 10 10 5 811.13/102.67 c 532 2203 4747133 13092 7 0 9 9 4 811.85/102.70 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 5. 811.85/102.70 c 537 2258 5012526 13770 7 0 10 10 5 811.85/102.72 c [pFactory][Group N°0] Thread N°0 is joined. 811.85/102.72 c [pFactory][Group N°0] Thread N°1 is joined. 811.85/102.72 c [pFactory][Group N°0] Thread N°2 is joined. 811.85/102.72 c [pFactory][Group N°0] Thread N°3 is joined. 811.85/102.72 c [pFactory][Group N°0] Thread N°4 is joined. 811.85/102.72 c [pFactory][Group N°0] Thread N°5 is joined. 811.85/102.72 c [pFactory][Group N°0] Thread N°6 is joined. 811.85/102.72 c [pFactory][Group N°0] Thread N°7 is joined. 811.85/102.72 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°1) 811.85/102.72 s UNSATISFIABLE 811.85/102.72 c restarts : 51 811.85/102.72 c conflicts : 533 (1 /sec) 811.85/102.72 c decisions : 2203 (3 /sec) 811.85/102.72 c propagations : 13099 (16 /sec) 811.85/102.72 c root propagations : 0 811.85/102.72 c filter calls : 4747711 (5871 /sec) 811.85/102.72 c useless filter calls : 4741379 (99 %) 811.85/102.72 c Memory used : 1794.32 MB 811.85/102.72 c CPU time : 808.706 s 811.85/102.72 c real time : 102.721 s 811.85/102.72
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 (14466 MiB free) memory of node 1: 16384 MiB (15295 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398098-1568602307/watcher-4398098-1568602307 -o /tmp/evaluation-result-4398098-1568602307/solver-4398098-1568602307 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568597208-1351 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398098-1568602307.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=2034, runsolver pid=2031 Current StackSize limit: 8192 KiB [startup+0.10014 s]* /proc/loadavg: 1.73 1.18 1.52 2/193 2035 /proc/meminfo: memFree=30474444/32770624 swapFree=66921488/67108860 [pid=2034] ppid=2031 vsize=28152 memory=4216 CPUtime=0.1 cores=0-7 /proc/2034/stat : 2034 (cosoco) R 2031 2034 1323 0 -1 4202496 1282 0 0 0 10 0 0 0 20 0 1 0 436168749 28827648 1054 33554432000 4194304 6211092 140727117686000 140727117682536 140298500553701 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 /proc/2034/statm: 7038 1054 806 493 0 343 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 28152 KiB Current children cumulated memory: 4216 KiB [startup+0.209764 s]* /proc/loadavg: 1.73 1.18 1.52 2/193 2035 /proc/meminfo: memFree=30456952/32770624 swapFree=66921488/67108860 [pid=2034] ppid=2031 vsize=52320 memory=28504 CPUtime=0.21 cores=0-7 /proc/2034/stat : 2034 (cosoco) R 2031 2034 1323 0 -1 4202496 7320 0 0 0 20 1 0 0 20 0 1 0 436168749 53575680 7126 33554432000 4194304 6211092 140727117686000 140727117681304 140298500553701 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 /proc/2034/statm: 13080 7126 816 493 0 6385 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 52320 KiB Current children cumulated memory: 28504 KiB [startup+0.310172 s]* /proc/loadavg: 1.73 1.18 1.52 2/193 2035 /proc/meminfo: memFree=30333596/32770624 swapFree=66921488/67108860 [pid=2034] ppid=2031 vsize=186392 memory=162772 CPUtime=0.31 cores=0-7 /proc/2034/stat : 2034 (cosoco) R 2031 2034 1323 0 -1 4202496 40886 0 0 0 26 5 0 0 20 0 1 0 436168749 190865408 40627 33554432000 4194304 6211092 140727117686000 140727117681304 5037405 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 /proc/2034/statm: 46598 40627 817 493 0 39903 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 186392 KiB Current children cumulated memory: 162772 KiB [startup+0.700398 s] /proc/loadavg: 1.73 1.18 1.52 2/193 2035 /proc/meminfo: memFree=30077260/32770624 swapFree=66921488/67108860 [pid=2034] ppid=2031 vsize=683716 memory=660148 CPUtime=0.69 cores=0-7 /proc/2034/stat : 2034 (cosoco) R 2031 2034 1323 0 -1 4202496 165226 0 0 0 49 20 0 0 20 0 1 0 436168749 700125184 164971 33554432000 4194304 6211092 140727117686000 140727117682248 5037405 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 /proc/2034/statm: 170964 165037 818 493 0 164269 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 683716 KiB Current children cumulated memory: 660148 KiB [startup+1.50114 s] /proc/loadavg: 1.73 1.18 1.52 3/193 2036 /proc/meminfo: memFree=29452196/32770624 swapFree=66921488/67108860 [pid=2034] ppid=2031 vsize=1345880 memory=1256788 CPUtime=3.86 cores=0-7 /proc/2034/stat : 2034 (cosoco) S 2031 2034 1323 0 -1 1077944320 314441 0 0 0 349 37 0 0 20 0 9 0 436168749 1378181120 314197 33554432000 4194304 6211092 140727117686000 140727117684256 140298516594423 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 /proc/2034/statm: 336470 314197 834 493 0 329775 0 Current children cumulated CPU time: 3.86 s Current children cumulated vsize: 1345880 KiB Current children cumulated memory: 1256788 KiB [startup+3.11014 s] /proc/loadavg: 1.73 1.18 1.52 9/200 2046 /proc/meminfo: memFree=29816576/32770624 swapFree=66921488/67108860 [pid=2034] ppid=2031 vsize=1870168 memory=1258264 CPUtime=16.7 cores=0-7 /proc/2034/stat : 2034 (cosoco) S 2031 2034 1323 0 -1 1077944320 525052 0 0 0 1553 117 0 0 20 0 9 0 436168749 1915052032 314566 33554432000 4194304 6211092 140727117686000 140727117684256 140298516594423 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 /proc/2034/statm: 467542 314566 841 493 0 460847 0 [pid=2034/tid=2039] ppid=2031 vsize=1870168 memory=1257688 CPUtime=1.94 cores=0-7 /proc/2034/task/2039/stat : 2039 (cosoco) R 2031 2034 1323 0 -1 4202560 19214 0 0 0 180 14 0 0 20 0 9 0 436168865 1915052032 314566 33554432000 4194304 6211092 140727117686000 140298493450968 5037821 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2040] ppid=2031 vsize=1870168 memory=3616 CPUtime=1.94 cores=0-7 /proc/2034/task/2040/stat : 2040 (cosoco) R 2031 2034 1323 0 -1 4202560 21083 0 0 0 193 1 0 0 20 0 9 0 436168865 1915052032 314566 33554432000 4194304 6211092 140727117686000 140298485058232 5008964 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2041] ppid=2031 vsize=1870168 memory=29572 CPUtime=1.94 cores=0-7 /proc/2034/task/2041/stat : 2041 (cosoco) R 2031 2034 1323 0 -1 4202560 24646 0 0 0 193 1 0 0 20 0 9 0 436168865 1915052032 314566 33554432000 4194304 6211092 140727117686000 140298476665560 5038944 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2042] ppid=2031 vsize=1870168 memory=988 CPUtime=1.91 cores=0-7 /proc/2034/task/2042/stat : 2042 (cosoco) R 2031 2034 1323 0 -1 4202560 36693 0 0 0 189 2 0 0 20 0 9 0 436168865 1915052032 314566 33554432000 4194304 6211092 140727117686000 140298468272856 5037823 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2043] ppid=2031 vsize=1870168 memory=104 CPUtime=1.93 cores=0-7 /proc/2034/task/2043/stat : 2043 (cosoco) R 2031 2034 1323 0 -1 4202560 37308 0 0 0 165 28 0 0 20 0 9 0 436168865 1915052032 314566 33554432000 4194304 6211092 140727117686000 140298459880152 5037854 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2044] ppid=2031 vsize=1870168 memory=103 CPUtime=1.94 cores=0-7 /proc/2034/task/2044/stat : 2044 (cosoco) R 2031 2034 1323 0 -1 4202560 32196 0 0 0 193 1 0 0 20 0 9 0 436168865 1915052032 314566 33554432000 4194304 6211092 140727117686000 140298451487448 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2045] ppid=2031 vsize=1870168 memory=103 CPUtime=1.94 cores=0-7 /proc/2034/task/2045/stat : 2045 (cosoco) R 2031 2034 1323 0 -1 4202560 13737 0 0 0 184 10 0 0 20 0 9 0 436168865 1915052032 314566 33554432000 4194304 6211092 140727117686000 140298443094712 5039026 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2046] ppid=2031 vsize=1870168 memory=102 CPUtime=1.94 cores=0-7 /proc/2034/task/2046/stat : 2046 (cosoco) R 2031 2034 1323 0 -1 4202560 25754 0 0 0 176 18 0 0 20 0 9 0 436168865 1915052032 314566 33554432000 4194304 6211092 140727117686000 140298434702040 5037825 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 Current children cumulated CPU time: 16.7 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258264 KiB [startup+6.30114 s] /proc/loadavg: 2.47 1.35 1.57 9/200 2047 /proc/meminfo: memFree=29816284/32770624 swapFree=66921488/67108860 [pid=2034] ppid=2031 vsize=1870168 memory=1258532 CPUtime=42.19 cores=0-7 /proc/2034/stat : 2034 (cosoco) S 2031 2034 1323 0 -1 1077944320 907075 0 0 0 4072 147 0 0 20 0 9 0 436168749 1915052032 314633 33554432000 4194304 6211092 140727117686000 140727117684256 140298516594423 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 /proc/2034/statm: 467542 314633 844 493 0 460847 0 [pid=2034/tid=2039] ppid=2031 vsize=1870168 memory=1258520 CPUtime=5.14 cores=0-7 /proc/2034/task/2039/stat : 2039 (cosoco) R 2031 2034 1323 0 -1 4202560 62533 0 0 0 495 19 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298493450936 5009168 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2040] ppid=2031 vsize=1870168 memory=466 CPUtime=5.13 cores=0-7 /proc/2034/task/2040/stat : 2040 (cosoco) R 2031 2034 1323 0 -1 4202560 64780 0 0 0 510 3 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298485058232 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2041] ppid=2031 vsize=1870168 memory=493 CPUtime=5.12 cores=0-7 /proc/2034/task/2041/stat : 2041 (cosoco) R 2031 2034 1323 0 -1 4202560 79348 0 0 0 507 5 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298476665952 5038944 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2042] ppid=2031 vsize=1870168 memory=55 CPUtime=5.06 cores=0-7 /proc/2034/task/2042/stat : 2042 (cosoco) R 2031 2034 1323 0 -1 4202560 90081 0 0 0 501 5 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298468273248 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2043] ppid=2031 vsize=1870168 memory=4283939470600987291 CPUtime=5.12 cores=0-7 /proc/2034/task/2043/stat : 2043 (cosoco) R 2031 2034 1323 0 -1 4202560 83974 0 0 0 481 31 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298459880544 5038944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2044] ppid=2031 vsize=1870168 memory=6438155977904 CPUtime=5.14 cores=0-7 /proc/2034/task/2044/stat : 2044 (cosoco) R 2031 2034 1323 0 -1 4202560 91705 0 0 0 509 5 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298451487840 5037823 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2045] ppid=2031 vsize=1870168 memory=288230583166042426 CPUtime=5.13 cores=0-7 /proc/2034/task/2045/stat : 2045 (cosoco) R 2031 2034 1323 0 -1 4202560 51944 0 0 0 497 16 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298443094712 5039650 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2046] ppid=2031 vsize=1870168 memory=13569292864063072 CPUtime=5.13 cores=0-7 /proc/2034/task/2046/stat : 2046 (cosoco) R 2031 2034 1323 0 -1 4202560 68279 0 0 0 492 21 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298434702008 5039141 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 Current children cumulated CPU time: 42.19 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258532 KiB [startup+12.7011 s] /proc/loadavg: 2.91 1.46 1.61 9/200 2047 /proc/meminfo: memFree=29815912/32770624 swapFree=66921488/67108860 [pid=2034] ppid=2031 vsize=1870168 memory=1258532 CPUtime=93.29 cores=0-7 /proc/2034/stat : 2034 (cosoco) S 2031 2034 1323 0 -1 1077944320 1317143 0 0 0 9149 180 0 0 20 0 9 0 436168749 1915052032 314633 33554432000 4194304 6211092 140727117686000 140727117684256 140298516594423 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 /proc/2034/statm: 467542 314633 844 493 0 460847 0 [pid=2034/tid=2039] ppid=2031 vsize=1870168 memory=0 CPUtime=11.54 cores=0-7 /proc/2034/task/2039/stat : 2039 (cosoco) R 2031 2034 1323 0 -1 4202560 95551 0 0 0 1130 24 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298493451360 5038944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2040] ppid=2031 vsize=1870168 memory=280220444423072 CPUtime=11.53 cores=0-7 /proc/2034/task/2040/stat : 2040 (cosoco) R 2031 2034 1323 0 -1 4202560 91220 0 0 0 1147 6 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298485058656 5038944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2041] ppid=2031 vsize=1870168 memory=1258532 CPUtime=11.49 cores=0-7 /proc/2034/task/2041/stat : 2041 (cosoco) R 2031 2034 1323 0 -1 4202560 131169 0 0 0 1141 8 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298476665952 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2042] ppid=2031 vsize=1870168 memory=29572 CPUtime=11.41 cores=0-7 /proc/2034/task/2042/stat : 2042 (cosoco) R 2031 2034 1323 0 -1 4202560 168406 0 0 0 1131 10 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298468273248 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2043] ppid=2031 vsize=1870168 memory=988 CPUtime=11.52 cores=0-7 /proc/2034/task/2043/stat : 2043 (cosoco) R 2031 2034 1323 0 -1 4202560 166333 0 0 0 1116 36 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298459880544 5037823 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2044] ppid=2031 vsize=1870168 memory=2012 CPUtime=11.53 cores=0-7 /proc/2034/task/2044/stat : 2044 (cosoco) R 2031 2034 1323 0 -1 4202560 158992 0 0 0 1144 9 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298451487840 5037821 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2045] ppid=2031 vsize=1870168 memory=0 CPUtime=11.52 cores=0-7 /proc/2034/task/2045/stat : 2045 (cosoco) R 2031 2034 1323 0 -1 4202560 91671 0 0 0 1129 23 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298443095136 5037821 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2046] ppid=2031 vsize=1870168 memory=0 CPUtime=11.53 cores=0-7 /proc/2034/task/2046/stat : 2046 (cosoco) R 2031 2034 1323 0 -1 4202560 99382 0 0 0 1129 24 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298434702008 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 Current children cumulated CPU time: 93.29 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258532 KiB [startup+25.5011 s] /proc/loadavg: 4.04 1.78 1.71 9/200 2049 /proc/meminfo: memFree=29815936/32770624 swapFree=66921488/67108860 [pid=2034] ppid=2031 vsize=1870168 memory=1258532 CPUtime=195.49 cores=0-7 /proc/2034/stat : 2034 (cosoco) S 2031 2034 1323 0 -1 1077944320 1897438 0 0 0 19295 254 0 0 20 0 9 0 436168749 1915052032 314633 33554432000 4194304 6211092 140727117686000 140727117684256 140298516594423 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 /proc/2034/statm: 467542 314633 844 493 0 460847 0 [pid=2034/tid=2039] ppid=2031 vsize=1870168 memory=55 CPUtime=24.33 cores=0-7 /proc/2034/task/2039/stat : 2039 (cosoco) R 2031 2034 1323 0 -1 4202560 176680 0 0 0 2393 40 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298493451360 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2040] ppid=2031 vsize=1870168 memory=55 CPUtime=24.32 cores=0-7 /proc/2034/task/2040/stat : 2040 (cosoco) R 2031 2034 1323 0 -1 4202560 172909 0 0 0 2421 11 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298485058656 5009426 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2041] ppid=2031 vsize=1870168 memory=1258532 CPUtime=24.11 cores=0-7 /proc/2034/task/2041/stat : 2041 (cosoco) R 2031 2034 1323 0 -1 4202560 204596 0 0 0 2397 14 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298476665952 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2042] ppid=2031 vsize=1870168 memory=1258532 CPUtime=24.2 cores=0-7 /proc/2034/task/2042/stat : 2042 (cosoco) R 2031 2034 1323 0 -1 4202560 233045 0 0 0 2406 14 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298468273248 5008994 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2043] ppid=2031 vsize=1870168 memory=15797 CPUtime=24.31 cores=0-7 /proc/2034/task/2043/stat : 2043 (cosoco) R 2031 2034 1323 0 -1 4202560 243019 0 0 0 2389 42 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298459880544 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2044] ppid=2031 vsize=1870168 memory=1964 CPUtime=24.34 cores=0-7 /proc/2034/task/2044/stat : 2044 (cosoco) R 2031 2034 1323 0 -1 4202560 210907 0 0 0 2422 12 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298451487840 5038992 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2045] ppid=2031 vsize=1870168 memory=280220443985024 CPUtime=24.32 cores=0-7 /proc/2034/task/2045/stat : 2045 (cosoco) R 2031 2034 1323 0 -1 4202560 166139 0 0 0 2390 42 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298443095136 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2046] ppid=2031 vsize=1870168 memory=10913310575082 CPUtime=24.33 cores=0-7 /proc/2034/task/2046/stat : 2046 (cosoco) R 2031 2034 1323 0 -1 4202560 175709 0 0 0 2395 38 0 0 20 0 9 0 436168865 1915052032 314633 33554432000 4194304 6211092 140727117686000 140298434702432 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 Current children cumulated CPU time: 195.49 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258532 KiB [startup+51.1101 s] /proc/loadavg: 5.39 2.28 1.88 9/200 2049 /proc/meminfo: memFree=29816548/32770624 swapFree=66921488/67108860 [pid=2034] ppid=2031 vsize=1870168 memory=1258548 CPUtime=400 cores=0-7 /proc/2034/stat : 2034 (cosoco) S 2031 2034 1323 0 -1 1077944320 2558735 0 0 0 39705 295 0 0 20 0 9 0 436168749 1915052032 314637 33554432000 4194304 6211092 140727117686000 140727117684256 140298516594423 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 /proc/2034/statm: 467542 314637 848 493 0 460847 0 [pid=2034/tid=2039] ppid=2031 vsize=1870168 memory=-7035114785800479027 CPUtime=49.94 cores=0-7 /proc/2034/task/2039/stat : 2039 (cosoco) R 2031 2034 1323 0 -1 4202560 250172 0 0 0 4948 46 0 0 20 0 9 0 436168865 1915052032 314637 33554432000 4194304 6211092 140727117686000 140298493451360 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2040] ppid=2031 vsize=1870168 memory=1258532 CPUtime=49.93 cores=0-7 /proc/2034/task/2040/stat : 2040 (cosoco) R 2031 2034 1323 0 -1 4202560 248909 0 0 0 4977 16 0 0 20 0 9 0 436168865 1915052032 314637 33554432000 4194304 6211092 140727117686000 140298485058656 5037858 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2041] ppid=2031 vsize=1870168 memory=1258548 CPUtime=49.36 cores=0-7 /proc/2034/task/2041/stat : 2041 (cosoco) R 2031 2034 1323 0 -1 4202560 288540 0 0 0 4916 20 0 0 20 0 9 0 436168865 1915052032 314637 33554432000 4194304 6211092 140727117686000 140298476665952 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2042] ppid=2031 vsize=1870168 memory=1258548 CPUtime=49.82 cores=0-7 /proc/2034/task/2042/stat : 2042 (cosoco) R 2031 2034 1323 0 -1 4202560 326871 0 0 0 4963 19 0 0 20 0 9 0 436168865 1915052032 314637 33554432000 4194304 6211092 140727117686000 140298468273248 5038944 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2043] ppid=2031 vsize=1870168 memory=55 CPUtime=49.92 cores=0-7 /proc/2034/task/2043/stat : 2043 (cosoco) R 2031 2034 1323 0 -1 4202560 321582 0 0 0 4945 47 0 0 20 0 9 0 436168865 1915052032 314637 33554432000 4194304 6211092 140727117686000 140298459880544 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2044] ppid=2031 vsize=1870168 memory=2305 CPUtime=49.94 cores=0-7 /proc/2034/task/2044/stat : 2044 (cosoco) R 2031 2034 1323 0 -1 4202560 322107 0 0 0 4977 17 0 0 20 0 9 0 436168865 1915052032 314637 33554432000 4194304 6211092 140727117686000 140298451487840 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2045] ppid=2031 vsize=1870168 memory=1258548 CPUtime=49.93 cores=0-7 /proc/2034/task/2045/stat : 2045 (cosoco) R 2031 2034 1323 0 -1 4202560 236061 0 0 0 4947 46 0 0 20 0 9 0 436168865 1915052032 314637 33554432000 4194304 6211092 140727117686000 140298443095136 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2046] ppid=2031 vsize=1870168 memory=11540 CPUtime=49.95 cores=0-7 /proc/2034/task/2046/stat : 2046 (cosoco) R 2031 2034 1323 0 -1 4202560 250067 0 0 0 4951 44 0 0 20 0 9 0 436168865 1915052032 314637 33554432000 4194304 6211092 140727117686000 140298434702432 5038686 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 Current children cumulated CPU time: 400 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258548 KiB [startup+102.301 s] /proc/loadavg: 6.87 3.16 2.20 9/200 2052 /proc/meminfo: memFree=29815916/32770624 swapFree=66921488/67108860 [pid=2034] ppid=2031 vsize=1870168 memory=1258552 CPUtime=808.73 cores=0-7 /proc/2034/stat : 2034 (cosoco) S 2031 2034 1323 0 -1 1077944320 2958675 0 0 0 80553 320 0 0 20 0 9 0 436168749 1915052032 314638 33554432000 4194304 6211092 140727117686000 140727117684256 140298516594423 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 /proc/2034/statm: 467542 314638 849 493 0 460847 0 [pid=2034/tid=2039] ppid=2031 vsize=1870168 memory=0 CPUtime=101.12 cores=0-7 /proc/2034/task/2039/stat : 2039 (cosoco) R 2031 2034 1323 0 -1 4202560 293666 0 0 0 10064 48 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298493451360 5039536 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2040] ppid=2031 vsize=1870168 memory=1258552 CPUtime=101.11 cores=0-7 /proc/2034/task/2040/stat : 2040 (cosoco) R 2031 2034 1323 0 -1 4202560 293930 0 0 0 10091 20 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298485058424 5039295 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2041] ppid=2031 vsize=1870168 memory=1258552 CPUtime=99.81 cores=0-7 /proc/2034/task/2041/stat : 2041 (cosoco) R 2031 2034 1323 0 -1 4202560 354969 0 0 0 9958 23 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298476665952 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2042] ppid=2031 vsize=1870168 memory=1258552 CPUtime=100.97 cores=0-7 /proc/2034/task/2042/stat : 2042 (cosoco) R 2031 2034 1323 0 -1 4202560 367439 0 0 0 10077 20 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298468273248 5038686 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2043] ppid=2031 vsize=1870168 memory=164 CPUtime=101.11 cores=0-7 /proc/2034/task/2043/stat : 2043 (cosoco) R 2031 2034 1323 0 -1 4202560 360112 0 0 0 10061 50 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298459880544 5039536 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2044] ppid=2031 vsize=1870168 memory=280220444025888 CPUtime=101.12 cores=0-7 /proc/2034/task/2044/stat : 2044 (cosoco) R 2031 2034 1323 0 -1 4202560 367024 0 0 0 10092 20 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298451487840 5038964 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2045] ppid=2031 vsize=1870168 memory=140114623264383 CPUtime=101.1 cores=0-7 /proc/2034/task/2045/stat : 2045 (cosoco) R 2031 2034 1323 0 -1 4202560 283198 0 0 0 10062 48 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298443095136 5038992 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2046] ppid=2031 vsize=1870168 memory=1760 CPUtime=101.14 cores=0-7 /proc/2034/task/2046/stat : 2046 (cosoco) R 2031 2034 1323 0 -1 4202560 323899 0 0 0 10065 49 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298434702432 5039029 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 Current children cumulated CPU time: 808.73 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258552 KiB [startup+102.81 s] # the end of solver process 2034 was just reported to runsolver # cumulated CPU time of all completed processes: user=808.707 s, system=3.28298 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+102.401 s] /proc/loadavg: 6.87 3.16 2.20 9/200 2052 /proc/meminfo: memFree=29815916/32770624 swapFree=66921488/67108860 [pid=2034] ppid=2031 vsize=1870168 memory=1258552 CPUtime=809.53 cores=0-7 /proc/2034/stat : 2034 (cosoco) S 2031 2034 1323 0 -1 1077944320 2958681 0 0 0 80633 320 0 0 20 0 9 0 436168749 1915052032 314638 33554432000 4194304 6211092 140727117686000 140727117684256 140298516594423 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 /proc/2034/statm: 467542 314638 849 493 0 460847 0 [pid=2034/tid=2039] ppid=2031 vsize=1870168 memory=19630 CPUtime=101.22 cores=0-7 /proc/2034/task/2039/stat : 2039 (cosoco) R 2031 2034 1323 0 -1 4202560 293666 0 0 0 10074 48 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298493451360 5038737 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2040] ppid=2031 vsize=1870168 memory=2443 CPUtime=101.21 cores=0-7 /proc/2034/task/2040/stat : 2040 (cosoco) R 2031 2034 1323 0 -1 4202560 293930 0 0 0 10101 20 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298485058424 5038964 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2041] ppid=2031 vsize=1870168 memory=0 CPUtime=99.91 cores=0-7 /proc/2034/task/2041/stat : 2041 (cosoco) R 2031 2034 1323 0 -1 4202560 354971 0 0 0 9968 23 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298476665952 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2042] ppid=2031 vsize=1870168 memory=-7161131788332309537 CPUtime=101.07 cores=0-7 /proc/2034/task/2042/stat : 2042 (cosoco) R 2031 2034 1323 0 -1 4202560 367441 0 0 0 10087 20 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298468273248 5389408 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2043] ppid=2031 vsize=1870168 memory=988 CPUtime=101.21 cores=0-7 /proc/2034/task/2043/stat : 2043 (cosoco) R 2031 2034 1323 0 -1 4202560 360112 0 0 0 10071 50 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298459880544 5038995 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2044] ppid=2031 vsize=1870168 memory=2012 CPUtime=101.22 cores=0-7 /proc/2034/task/2044/stat : 2044 (cosoco) R 2031 2034 1323 0 -1 4202560 367026 0 0 0 10102 20 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298451487840 5039022 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2045] ppid=2031 vsize=1870168 memory=3616 CPUtime=101.2 cores=0-7 /proc/2034/task/2045/stat : 2045 (cosoco) R 2031 2034 1323 0 -1 4202560 283198 0 0 0 10072 48 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298443095136 5038947 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 [pid=2034/tid=2046] ppid=2031 vsize=1870168 memory=1258552 CPUtime=101.24 cores=0-7 /proc/2034/task/2046/stat : 2046 (cosoco) R 2031 2034 1323 0 -1 4202560 323899 0 0 0 10075 49 0 0 20 0 9 0 436168865 1915052032 314638 33554432000 4194304 6211092 140727117686000 140298434702432 5039029 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 30797824 140727117689873 140727117689965 140727117689965 140727117692878 0 Current children cumulated CPU time: 809.53 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258552 KiB [startup+102.8 s]* /proc/loadavg: 6.87 3.16 2.20 2/192 2052 /proc/meminfo: memFree=30998516/32770624 swapFree=66921488/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): 102.81 CPU time (s): 811.99 CPU user time (s): 808.707 CPU system time (s): 3.28298 CPU usage (%): 789.798 Max. virtual memory (cumulated for all children) (KiB): 1870168 Max. memory (cumulated for all children) (KiB): 1258560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 808.707 system time used= 3.28298 maximum resident set size= 1258712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2958734 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= 322 involuntary context switches= 7452 # summary of solver processes directly reported to runsolver: # pid: 2034 # total CPU time (s): 811.99 # total CPU user time (s): 808.707 # total CPU system time (s): 3.28298 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.528076 second user time and 0.968191 second system time The end
Begin job on node141 at 2019-09-16 04:51:07 IDJOB=4398098 IDBENCH=125875 IDSOLVER=2851 FILE ID=node141/4398098-1568602307 RUNJOBID= node141-1568597208-1351 PBS_JOBID= 21703404 Free space on /tmp= 58544 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/QRandom/QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-06.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398098-1568602307/watcher-4398098-1568602307 -o /tmp/evaluation-result-4398098-1568602307/solver-4398098-1568602307 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568597208-1351 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398098-1568602307.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1db35719a72b9401cb48f365dc7349f7 RANDOM SEED=327331362 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 30475692 kB MemAvailable: 31784592 kB Buffers: 205896 kB Cached: 1388784 kB SwapCached: 78460 kB Active: 445552 kB Inactive: 1232168 kB Active(anon): 10448 kB Inactive(anon): 114916 kB Active(file): 435104 kB Inactive(file): 1117252 kB Unevictable: 109172 kB Mlocked: 109172 kB SwapTotal: 67108860 kB SwapFree: 66921488 kB Dirty: 7536 kB Writeback: 79256 kB AnonPages: 114844 kB Mapped: 41824 kB Shmem: 33668 kB Slab: 207564 kB SReclaimable: 144760 kB SUnreclaim: 62804 kB KernelStack: 3392 kB PageTables: 5476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 508576 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: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 58540 MiB End job on node141 at 2019-09-16 04:52:50