Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | UNSAT | 849.058 | 107.579 |
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 |
3.87/2.12 c root propagations : 0 3.87/2.12 c restarts enabled, print stats at every restarts 3.87/2.12 c 3.87/2.12 c 3.87/2.12 c 3.87/2.12 c This is cosoco 2.00 -- 3.87/2.12 c 3.87/2.12 c command line: cosoco -model -nbcores=8 HOME/instance-4409358-1569823942.xml 3.87/2.12 c ========================================[ Problem Statistics ]=========================================== 3.87/2.12 c | 3.87/2.12 c | Parse time : 0.76 s 3.87/2.12 c | 3.87/2.12 c | Variables: 21 3.87/2.12 c | Domain Sizes: 2..2 3.87/2.12 c | 3.87/2.12 c | Constraints: 2713 3.87/2.12 c | Arity: 15..15 3.87/2.12 c | 3.87/2.12 c | Types: 3.87/2.12 c | Extension: 2713 (nb tuples: 6935..6935) -- (shared: 21696) 3.87/2.12 c | 3.87/2.12 c ========================================================================================================= 3.87/2.12 c Parallel mode: Portfolio 3.87/2.12 c [pFactory][Group N°0] created (threads:8). 3.87/2.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 3.87/8.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 3.87/8.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 3.87/8.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 3.87/8.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 3.87/8.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 3.87/8.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 3.87/8.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 3.87/8.90 c [pFactory][Group N°0] concurrent mode: enabled. 3.87/8.90 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 3.87/8.90 c [pFactory][Group N°0] task 7 launched on thread 4. 3.87/8.90 c [pFactory][Group N°0] task 6 launched on thread 1. 3.87/8.90 c [pFactory][Group N°0] task 5 launched on thread 0. 3.87/8.90 c [pFactory][Group N°0] task 4 launched on thread 2. 3.87/8.90 c [pFactory][Group N°0] task 3 launched on thread 7. 3.87/8.90 c [pFactory][Group N°0] task 2 launched on thread 3. 3.87/8.90 c [pFactory][Group N°0] task 1 launched on thread 5. 3.87/8.90 c [pFactory][Group N°0] task 0 launched on thread 6. 3.87/8.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.87/8.90 c root propagations : 0 3.87/8.90 c restarts enabled, print stats at every restarts 3.87/8.90 c 3.87/8.90 c 3.87/8.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.87/8.90 c root propagations : 0 3.87/8.90 c restarts enabled, print stats at every restarts 3.87/8.90 c 3.87/8.90 c 3.87/8.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.87/8.90 c root propagations : 0 3.87/8.90 c restarts enabled, print stats at every restarts 3.87/8.90 c 3.87/8.90 c 3.87/8.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.87/8.90 c root propagations : 0 3.87/8.90 c restarts enabled, print stats at every restarts 3.87/8.90 c 3.87/8.90 c 3.87/8.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.87/8.90 c root propagations : 0 3.87/8.90 c restarts enabled, print stats at every restarts 3.87/8.90 c 3.87/8.90 c 3.87/8.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.87/8.90 c root propagations : 0 3.87/8.90 c restarts enabled, print stats at every restarts 3.87/8.90 c 3.87/8.90 c 3.87/8.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.87/8.90 c root propagations : 0 3.87/8.90 c restarts enabled, print stats at every restarts 3.87/8.90 c 3.87/8.90 c 3.87/8.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.87/8.90 c 32 111 238682 755 0 0 8 11 9 3.87/8.90 c 32 117 253695 753 0 0 7 13 10 3.87/8.90 c 32 118 256849 783 0 0 6 13 10 3.87/8.90 c 32 112 245824 832 0 0 6 11 9 3.87/8.90 c 33 121 259408 789 0 0 10 10 5 3.87/8.90 c 33 127 274333 784 0 0 10 10 5 3.87/8.90 c 33 128 277286 825 0 0 10 10 5 3.87/8.90 c 33 122 265766 866 0 0 10 10 5 77.28/10.77 c 64 229 508092 1575 0 0 7 11 9 79.68/11.05 c 64 232 511056 1549 0 0 7 11 9 80.47/11.10 c 64 237 527425 1591 0 0 7 11 9 80.47/11.13 c 64 230 505196 1643 0 0 6 11 9 87.65/12.01 c 65 238 526783 1596 0 0 9 9 4 88.45/12.18 c 101 346 759301 2457 0 0 6 12 10 89.24/12.27 c 101 358 788766 2354 0 0 7 12 10 90.05/12.36 c 65 242 532505 1580 0 0 10 10 5 90.05/12.36 c 65 246 546609 1614 0 0 9 9 4 90.87/12.48 c 65 239 524499 1666 0 0 9 9 4 94.75/12.96 c 101 359 807737 2517 0 0 5 11 9 97.14/13.25 c 101 344 758580 2365 0 0 8 13 10 97.14/13.26 c 66 247 546146 1629 0 0 9 9 4 100.37/13.64 c 66 252 553912 1611 0 0 10 10 5 100.37/13.65 c 66 255 565805 1635 0 0 9 9 4 101.79/13.87 c 66 248 543794 1689 0 0 9 9 4 107.43/14.52 c 67 257 567975 1665 0 0 10 10 5 109.75/14.86 c 67 262 575337 1642 0 0 10 10 5 109.75/14.88 c 67 264 584989 1658 0 0 9 9 4 112.95/15.26 c 67 257 563097 1712 0 0 9 9 4 162.52/21.43 c 128 482 1073453 3117 0 0 7 11 9 162.52/21.50 c 128 474 1040485 3104 0 0 8 11 9 163.32/21.59 c 128 477 1069722 3136 0 0 7 11 9 168.04/22.12 c 128 488 1075863 3252 0 0 9 11 10 172.03/22.66 c 129 492 1093681 3151 0 0 10 10 5 173.63/22.82 c 129 487 1089579 3164 0 0 10 10 5 173.63/22.87 c 129 484 1060417 3126 0 0 10 10 5 176.83/23.26 c 211 745 1631895 4996 0 0 7 11 9 179.28/23.51 c 129 498 1096298 3286 0 0 10 10 5 182.41/23.93 c 130 502 1113923 3185 0 0 10 10 5 182.41/23.99 c 130 497 1109462 3192 0 0 10 10 5 184.81/24.29 c 130 494 1080409 3161 0 0 10 10 5 185.60/24.37 c 211 720 1592229 5079 0 0 6 11 9 187.27/24.59 c 211 738 1650064 5242 0 0 8 11 9 190.39/24.91 c 130 508 1117964 3330 0 0 10 10 5 192.80/25.25 c 131 507 1129922 3221 0 0 10 10 5 192.80/25.29 c 211 733 1647102 5136 0 0 7 11 9 193.59/25.32 c 131 512 1134151 3219 0 0 10 10 5 196.78/25.70 c 131 505 1101898 3184 0 0 11 11 5 201.58/26.33 c 131 518 1138406 3364 0 0 10 10 5 203.24/26.55 c 132 517 1151159 3258 0 0 10 10 5 203.96/26.62 c 132 522 1154370 3253 0 0 10 10 5 207.16/27.05 c 132 516 1123406 3207 0 0 11 11 5 212.75/27.70 c 132 528 1160129 3408 0 0 10 10 5 213.55/27.83 c 133 527 1171619 3287 0 0 10 10 5 214.35/27.92 c 133 532 1174526 3276 0 0 10 10 5 217.54/28.40 c 133 526 1143338 3229 0 0 10 10 5 223.13/29.06 c 133 538 1181835 3452 0 0 10 10 5 223.13/29.07 c 134 537 1192855 3324 0 0 10 10 5 224.73/29.21 c 134 542 1194741 3310 0 0 10 10 5 228.72/29.74 c 134 536 1163356 3264 0 0 10 10 5 233.51/30.34 c 135 547 1213315 3353 0 0 10 10 5 233.51/30.35 c 134 548 1201918 3483 0 0 10 10 5 234.38/30.49 c 135 552 1214897 3333 0 0 10 10 5 239.10/31.09 c 135 547 1184845 3287 0 0 11 11 5 244.69/31.70 c 135 558 1222009 3514 0 0 10 10 5 275.83/35.69 c 332 1191 2586129 8035 0 0 8 11 9 290.27/37.47 c 332 1140 2547056 8104 0 0 7 11 9 295.79/38.15 c 332 1152 2557589 8029 0 0 6 11 9 299.06/38.56 c 332 1157 2631843 8112 0 0 5 11 9 335.70/43.12 c 256 988 2200984 6294 0 0 5 11 10 338.16/43.45 c 256 968 2103192 6180 0 0 5 11 9 338.16/43.50 c 256 995 2216705 6443 0 0 6 11 9 346.14/44.43 c 257 999 2223006 6333 0 0 11 11 5 347.68/44.60 c 256 996 2220612 6577 0 0 6 11 10 348.47/44.75 c 257 979 2124613 6205 0 0 11 11 5 349.27/44.81 c 257 1005 2237183 6470 0 0 10 10 5 356.46/45.77 c 258 1010 2245079 6372 0 0 11 11 5 358.06/45.93 c 257 1006 2241298 6608 0 0 10 10 5 358.86/46.03 c 258 1015 2257612 6497 0 0 10 10 5 358.86/46.05 c 258 990 2146053 6230 0 0 11 11 5 366.84/47.10 c 259 1021 2267101 6411 0 0 11 11 5 368.44/47.27 c 259 1025 2278090 6524 0 0 10 10 5 369.24/47.31 c 258 1016 2261972 6639 0 0 10 10 5 369.24/47.38 c 259 1001 2167474 6255 0 0 11 11 5 377.23/48.40 c 260 1032 2289174 6450 0 0 11 11 5 378.09/48.48 c 260 1035 2298519 6551 0 0 10 10 5 379.61/48.64 c 260 1012 2188914 6280 0 0 11 11 5 379.61/48.67 c 259 1026 2282658 6670 0 0 10 10 5 386.88/49.59 c 465 1656 3602879 11274 0 0 4 11 9 387.60/49.65 c 261 1045 2318997 6578 0 0 10 10 5 387.60/49.68 c 261 1043 2310862 6480 0 0 11 11 5 390.00/49.91 c 261 1023 2210335 6305 0 0 11 11 5 390.80/50.00 c 260 1036 2303391 6701 0 0 10 10 5 397.18/50.82 c 262 1055 2339426 6605 0 0 10 10 5 397.98/50.96 c 262 1054 2333065 6519 0 0 11 11 5 399.58/51.16 c 262 1034 2231775 6330 0 0 11 11 5 401.19/51.32 c 261 1046 2324065 6732 0 0 10 10 5 405.97/51.96 c 465 1614 3602578 11366 0 0 5 11 9 405.97/51.99 c 263 1065 2359904 6632 0 0 10 10 5 408.37/52.23 c 263 1065 2354753 6549 0 0 11 11 5 410.03/52.43 c 263 1045 2253196 6355 0 0 11 11 5 411.55/52.63 c 262 1055 2342896 6754 0 0 9 9 4 415.55/53.16 c 264 1075 2380333 6659 0 0 10 10 5 418.01/53.47 c 465 1616 3700902 11398 0 0 7 11 9 418.80/53.53 c 264 1076 2376956 6588 0 0 11 11 5 420.33/53.72 c 264 1056 2274636 6380 0 0 11 11 5 421.93/53.92 c 263 1064 2361724 6776 0 0 9 9 4 422.77/54.06 c 465 1635 3628177 11370 0 0 7 11 10 425.13/54.31 c 265 1085 2400811 6686 0 0 10 10 5 429.12/54.80 c 265 1087 2398644 6618 0 0 11 11 5 429.92/54.97 c 265 1067 2296057 6405 0 0 11 11 5 432.31/55.20 c 264 1074 2382457 6807 0 0 10 10 5 433.97/55.50 c 266 1095 2421240 6713 0 0 10 10 5 438.70/56.08 c 266 1098 2420847 6657 0 0 11 11 5 440.30/56.22 c 266 1078 2317497 6430 0 0 11 11 5 442.76/56.52 c 265 1084 2403131 6838 0 0 10 10 5 443.49/56.66 c 267 1105 2441718 6740 0 0 10 10 5 449.09/57.34 c 267 1109 2442535 6687 0 0 11 11 5 449.95/57.48 c 267 1089 2338918 6455 0 0 11 11 5 452.27/57.80 c 266 1093 2421962 6860 0 0 9 9 4 453.07/57.81 c 268 1115 2462147 6767 0 0 10 10 5 459.46/58.62 c 268 1120 2464738 6726 0 0 11 11 5 460.26/58.74 c 268 1100 2360358 6480 0 0 11 11 5 461.86/58.97 c 269 1125 2482620 6794 0 0 10 10 5 462.66/59.08 c 267 1102 2440807 6882 0 0 9 9 4 469.04/59.88 c 269 1131 2486426 6756 0 0 11 11 5 470.65/60.00 c 269 1111 2381779 6505 0 0 11 11 5 472.25/60.24 c 270 1135 2503049 6821 0 0 10 10 5 473.05/60.36 c 268 1111 2459638 6904 0 0 9 9 4 479.43/61.16 c 270 1142 2508629 6795 0 0 11 11 5 480.23/61.26 c 270 1122 2403219 6530 0 0 11 11 5 481.89/61.47 c 271 1145 2523522 6848 0 0 10 10 5 482.69/61.55 c 269 1120 2478483 6926 0 0 9 9 4 489.88/62.42 c 271 1153 2530317 6825 0 0 11 11 5 490.68/62.52 c 271 1132 2423452 6559 0 0 10 10 5 492.20/62.75 c 270 1129 2497314 6948 0 0 9 9 4 501.78/63.95 c 271 1138 2516159 6970 0 0 9 9 4 508.96/64.80 c 611 2165 4729597 14902 0 0 6 11 9 532.12/67.78 c 611 2142 4770958 15116 0 0 6 11 9 545.77/69.50 c 611 2151 4927909 15096 0 0 6 11 9 546.57/69.51 c 611 2151 4743653 14904 0 0 6 11 10 647.91/82.29 c 771 2777 6065570 18958 0 0 8 11 9 675.83/85.70 c 771 2727 6080625 19049 0 0 7 11 9 676.63/85.89 c 771 2723 6184274 19086 0 0 5 11 9 683.02/86.63 c 512 2016 4470758 12883 0 0 6 11 10 683.02/86.63 c 512 2004 4329894 12446 0 0 5 11 9 688.62/87.37 c 771 2737 6022997 18992 0 0 7 11 10 689.48/87.49 c 512 2011 4474036 12989 1 0 6 11 9 695.72/88.28 c 513 2014 4352441 12482 1 0 10 10 5 696.52/88.31 c 513 2027 4494563 12915 1 0 11 11 5 696.52/88.34 c 512 2000 4484071 12893 0 0 5 11 9 696.52/88.40 c 513 2021 4495561 13015 1 0 10 10 5 703.71/89.23 c 514 2024 4373002 12517 1 0 10 10 5 703.71/89.29 c 514 2031 4517043 13041 1 0 10 10 5 704.51/89.32 c 514 2038 4518090 12955 1 0 11 11 5 709.30/89.91 c 513 2010 4506684 12926 1 0 10 10 5 710.90/90.18 c 515 2041 4538568 13067 1 0 10 10 5 711.70/90.21 c 515 2034 4393579 12552 1 0 10 10 5 711.70/90.28 c 515 2049 4539925 12986 1 0 11 11 5 716.48/90.85 c 514 2020 4527277 12958 1 0 10 10 5 718.08/91.07 c 516 2051 4560050 13093 1 0 10 10 5 718.88/91.16 c 516 2044 4414140 12587 1 0 10 10 5 719.68/91.25 c 516 2060 4563452 13026 1 0 11 11 5 724.47/91.83 c 515 2030 4547920 12990 1 0 10 10 5 725.26/91.95 c 517 2061 4581575 13119 1 0 10 10 5 726.86/92.13 c 517 2054 4434717 12622 1 0 10 10 5 726.86/92.19 c 517 2071 4586939 13066 1 0 11 11 5 731.66/92.78 c 516 2040 4568513 13022 1 0 10 10 5 732.46/92.83 c 518 2071 4603057 13145 1 0 10 10 5 734.05/93.08 c 518 2064 4455278 12657 1 0 10 10 5 734.85/93.16 c 518 2082 4610466 13106 1 0 11 11 5 739.63/93.71 c 519 2081 4624582 13171 1 0 10 10 5 739.63/93.75 c 517 2050 4589156 13054 1 0 10 10 5 742.03/94.04 c 519 2074 4475855 12692 1 0 10 10 5 742.83/94.11 c 519 2093 4633953 13146 1 0 11 11 5 746.09/94.58 c 520 2091 4646064 13197 1 0 10 10 5 747.61/94.70 c 518 2060 4609749 13086 1 0 10 10 5 749.21/94.99 c 520 2084 4496416 12727 1 0 10 10 5 750.01/95.07 c 520 2104 4657480 13186 1 0 11 11 5 753.27/95.45 c 521 2101 4667589 13223 1 0 10 10 5 754.80/95.67 c 519 2070 4630392 13118 1 0 10 10 5 757.21/95.96 c 521 2094 4516993 12762 1 0 10 10 5 758.01/96.02 c 521 2115 4680967 13226 1 0 11 11 5 760.40/96.34 c 522 2111 4691012 13262 1 0 10 10 5 762.79/96.62 c 520 2080 4650985 13150 1 0 10 10 5 765.19/96.92 c 522 2104 4537554 12797 1 0 10 10 5 765.19/96.99 c 522 2126 4704508 13266 1 0 11 11 5 767.58/97.20 c 523 2121 4712537 13288 1 0 10 10 5 770.04/97.58 c 521 2090 4671628 13182 1 0 10 10 5 772.37/97.89 c 523 2114 4558131 12832 1 0 10 10 5 773.17/97.98 c 523 2137 4727995 13306 1 0 11 11 5 773.96/98.09 c 524 2131 4735998 13327 1 0 10 10 5 778.01/98.55 c 522 2099 4692540 13214 1 0 9 9 4 780.33/98.85 c 524 2124 4578692 12867 1 0 10 10 5 781.13/98.96 c 524 2148 4751536 13346 1 0 11 11 5 781.13/98.98 c 525 2141 4759464 13366 1 0 10 10 5 786.00/99.55 c 523 2108 4713485 13246 1 0 9 9 4 786.00/99.58 c 947 3395 7413627 23266 0 0 6 11 9 787.53/99.74 c 525 2134 4601033 12901 2 0 10 10 5 788.33/99.85 c 526 2150 4781802 13382 2 0 9 9 4 788.33/99.87 c 525 2158 4774628 13368 2 0 10 10 5 793.18/100.41 c 526 2144 4622655 12942 2 0 10 10 5 793.18/100.47 c 527 2159 4803354 13408 2 0 9 9 4 793.98/100.53 c 524 2118 4735112 13278 2 0 10 10 5 793.98/100.54 c 526 2168 4796189 13402 2 0 10 10 5 797.90/101.06 c 527 2154 4642608 12969 2 0 10 10 5 797.90/101.08 c 528 2168 4823745 13423 2 0 9 9 4 798.70/101.19 c 527 2178 4817710 13436 2 0 10 10 5 799.52/101.20 c 525 2128 4754825 13309 2 0 10 10 5 803.49/101.70 c 529 2177 4845273 13449 2 0 9 9 4 803.49/101.70 c 528 2164 4662570 12996 2 0 10 10 5 804.29/101.88 c 528 2188 4841223 13471 3 0 10 10 5 805.10/101.90 c 526 2138 4777293 13353 3 0 10 10 5 808.29/102.33 c 529 2198 4862368 13492 3 0 10 10 5 808.29/102.34 c 530 2186 4867616 13465 3 0 9 9 4 808.29/102.38 c 527 2148 4798317 13395 3 0 10 10 5 809.16/102.46 c 529 2174 4686185 13038 3 0 10 10 5 811.48/102.78 c 531 2195 4889201 13491 3 0 9 9 4 811.48/102.80 c 530 2208 4883929 13526 3 0 10 10 5 812.28/102.87 c 528 2158 4819357 13437 3 0 10 10 5 813.08/102.96 c 530 2184 4707807 13079 3 0 10 10 5 814.67/103.20 c 532 2204 4909592 13506 3 0 9 9 4 815.47/103.24 c 531 2218 4905074 13547 3 0 10 10 5 816.27/103.34 c 529 2168 4839890 13480 3 0 10 10 5 816.27/103.37 c 947 3370 7499893 23464 0 0 5 11 9 817.13/103.42 c 531 2194 4727760 13106 3 0 10 10 5 818.66/103.63 c 533 2213 4931177 13532 3 0 9 9 4 819.46/103.71 c 532 2228 4926635 13581 3 0 10 10 5 820.26/103.81 c 530 2178 4860680 13517 3 0 10 10 5 820.26/103.86 c 532 2204 4747732 13133 3 0 10 10 5 821.85/104.06 c 534 2222 4952730 13558 3 0 9 9 4 822.65/104.10 c 947 3347 7594473 23440 2 0 5 11 9 822.65/104.16 c 533 2238 4947780 13602 3 0 10 10 5 823.45/104.27 c 531 2188 4881704 13559 3 0 10 10 5 824.25/104.35 c 533 2214 4769354 13174 3 0 10 10 5 825.11/104.50 c 535 2231 4974315 13584 3 0 9 9 4 826.64/104.62 c 534 2248 4969341 13636 3 0 10 10 5 827.44/104.75 c 532 2198 4902736 13601 3 0 10 10 5 828.24/104.85 c 534 2224 4791017 13215 3 0 10 10 5 829.04/104.94 c 536 2240 4995868 13610 3 0 9 9 4 829.84/105.09 c 535 2258 4992805 13671 4 0 10 10 5 831.43/105.27 c 533 2208 4926471 13640 4 0 10 10 5 832.23/105.32 c 535 2234 4812891 13243 4 0 10 10 5 832.23/105.40 c 537 2250 5018209 13639 4 0 10 10 5 833.09/105.43 c 536 2268 5014366 13705 4 0 10 10 5 833.09/105.43 c 947 3357 7376782 23192 4 0 5 11 9 834.62/105.61 c 1000 3594 7860434 24613 2 0 8 11 9 834.62/105.63 c 534 2218 4947817 13677 4 0 10 10 5 834.62/105.64 c 536 2244 4832863 13270 4 0 10 10 5 835.42/105.72 c 538 2261 5040746 13668 4 0 11 11 5 835.42/105.76 c 537 2278 5035909 13739 4 0 10 10 5 837.02/105.97 c 535 2228 4967486 13709 4 0 10 10 5 837.02/105.99 c 537 2254 4854506 13311 4 0 10 10 5 837.83/106.03 c 539 2270 5058577 13689 4 0 9 9 4 837.83/106.09 c 538 2288 5057470 13773 4 0 10 10 5 840.23/106.31 c 536 2238 4987202 13741 4 0 10 10 5 840.23/106.34 c 540 2280 5079130 13722 4 0 10 10 5 840.23/106.36 c 538 2264 4876169 13352 4 0 10 10 5 841.09/106.45 c 539 2298 5079026 13807 4 0 10 10 5 842.62/106.65 c 537 2248 5007234 13769 4 0 10 10 5 842.62/106.67 c 541 2291 5101654 13751 4 0 11 11 5 842.62/106.69 c 539 2274 4896122 13379 4 0 10 10 5 843.42/106.77 c 540 2308 5100587 13841 4 0 10 10 5 845.01/106.97 c 542 2300 5119485 13772 4 0 9 9 4 845.81/107.01 c 538 2258 5028817 13804 4 0 10 10 5 845.81/107.01 c 540 2284 4916094 13406 4 0 10 10 5 846.61/107.11 c 541 2318 5122143 13875 4 0 10 10 5 847.41/107.25 c 543 2309 5139751 13798 7 0 9 9 4 848.21/107.32 c 541 2294 4939093 13434 7 0 10 10 5 848.21/107.33 c 539 2268 5051370 13828 7 0 10 10 5 848.88/107.48 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 5. 848.88/107.48 c [pFactory][Group N°0] Thread N°0 is joined. 848.88/107.48 c [pFactory][Group N°0] Thread N°1 is joined. 848.88/107.48 c [pFactory][Group N°0] Thread N°2 is joined. 848.88/107.48 c [pFactory][Group N°0] Thread N°3 is joined. 848.88/107.48 c [pFactory][Group N°0] Thread N°4 is joined. 848.88/107.48 c [pFactory][Group N°0] Thread N°5 is joined. 848.88/107.48 c [pFactory][Group N°0] Thread N°6 is joined. 848.88/107.48 c [pFactory][Group N°0] Thread N°7 is joined. 848.88/107.48 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°0) 848.88/107.48 s UNSATISFIABLE 848.88/107.48 c restarts : 60 848.88/107.48 c conflicts : 541 (1 /sec) 848.88/107.48 c decisions : 2295 (3 /sec) 848.88/107.48 c propagations : 13437 (16 /sec) 848.88/107.48 c root propagations : 0 848.88/107.48 c filter calls : 4941618 (5848 /sec) 848.88/107.48 c useless filter calls : 4935132 (99 %) 848.88/107.48 c Memory used : 1794.32 MB 848.88/107.48 c CPU time : 844.968 s 848.88/107.48 c real time : 107.475 s 848.88/107.48
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 (14996 MiB free) memory of node 1: 16384 MiB (14219 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409358-1569823942/watcher-4409358-1569823942 -o /tmp/evaluation-result-4409358-1569823942/solver-4409358-1569823942 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1569816334-14422 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409358-1569823942.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=15300, runsolver pid=15297 Current StackSize limit: 8192 KiB [startup+0.10015 s]* /proc/loadavg: 1.08 1.03 1.50 2/194 15301 /proc/meminfo: memFree=29915276/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=28152 memory=4480 CPUtime=0.1 cores=0-7 /proc/15300/stat : 15300 (cosoco) R 15297 15300 14394 0 -1 4202496 1284 0 0 0 10 0 0 0 20 0 1 0 558334253 28827648 1120 33554432000 4194304 6211132 140734011240816 140734011237352 140340024175589 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/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.209293 s]* /proc/loadavg: 1.08 1.03 1.50 2/194 15301 /proc/meminfo: memFree=29895304/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=52320 memory=28504 CPUtime=0.21 cores=0-7 /proc/15300/stat : 15300 (cosoco) R 15297 15300 14394 0 -1 4202496 7325 0 0 0 20 1 0 0 20 0 1 0 558334253 53575680 7126 33554432000 4194304 6211132 140734011240816 140734011236024 140340024175589 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/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.309531 s]* /proc/loadavg: 1.08 1.03 1.50 2/194 15301 /proc/meminfo: memFree=29777352/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=179664 memory=155908 CPUtime=0.3 cores=0-7 /proc/15300/stat : 15300 (cosoco) R 15297 15300 14394 0 -1 4202496 39217 0 0 0 25 5 0 0 20 0 1 0 558334253 183975936 38977 33554432000 4194304 6211132 140734011240816 140734011236024 5037405 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 44916 38977 817 493 0 38221 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 179664 KiB Current children cumulated memory: 155908 KiB [startup+0.700381 s] /proc/loadavg: 1.08 1.03 1.50 2/194 15301 /proc/meminfo: memFree=29519556/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=670368 memory=646684 CPUtime=0.69 cores=0-7 /proc/15300/stat : 15300 (cosoco) R 15297 15300 14394 0 -1 4202496 161907 0 0 0 48 21 0 0 20 0 1 0 558334253 686456832 161671 33554432000 4194304 6211132 140734011240816 140734011236024 140340024636396 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 167627 161671 818 493 0 160932 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 670368 KiB Current children cumulated memory: 646684 KiB [startup+1.50105 s] /proc/loadavg: 1.08 1.03 1.50 2/194 15301 /proc/meminfo: memFree=28859596/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=1345880 memory=1256788 CPUtime=3.87 cores=0-7 /proc/15300/stat : 15300 (cosoco) S 15297 15300 14394 0 -1 1077944320 314441 0 0 0 347 40 0 0 20 0 9 0 558334253 1378181120 314197 33554432000 4194304 6211132 140734011240816 140734011239072 140340040216311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 336470 314197 834 493 0 329775 0 Current children cumulated CPU time: 3.87 s Current children cumulated vsize: 1345880 KiB Current children cumulated memory: 1256788 KiB [startup+9.00505 s] /proc/loadavg: 1.08 1.03 1.50 2/194 15301 /proc/meminfo: memFree=28859596/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=1870168 memory=1258532 CPUtime=63.77 cores=0-7 /proc/15300/stat : 15300 (cosoco) S 15297 15300 14394 0 -1 1077944320 1027070 0 0 0 6183 194 0 0 20 0 9 0 558334253 1915052032 314633 33554432000 4194304 6211132 140734011240816 140734011239072 140340040216311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 467542 314633 844 493 0 460847 0 Current children cumulated CPU time: 63.77 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258532 KiB [startup+9.10105 s] /proc/loadavg: 1.08 1.03 1.50 2/194 15301 /proc/meminfo: memFree=28859596/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=1870168 memory=1258532 CPUtime=64.54 cores=0-7 /proc/15300/stat : 15300 (cosoco) S 15297 15300 14394 0 -1 1077944320 1034071 0 0 0 6259 195 0 0 20 0 9 0 558334253 1915052032 314633 33554432000 4194304 6211132 140734011240816 140734011239072 140340040216311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 467542 314633 844 493 0 460847 0 Current children cumulated CPU time: 64.54 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258532 KiB [startup+12.701 s] /proc/loadavg: 2.91 1.43 1.62 11/202 15310 /proc/meminfo: memFree=28885244/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=1870168 memory=1258532 CPUtime=93.16 cores=0-7 /proc/15300/stat : 15300 (cosoco) S 15297 15300 14394 0 -1 1077944320 1343081 0 0 0 9072 244 0 0 20 0 9 0 558334253 1915052032 314633 33554432000 4194304 6211132 140734011240816 140734011239072 140340040216311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 467542 314633 844 493 0 460847 0 [pid=15300/tid=15302] ppid=15297 vsize=1870168 memory=1258532 CPUtime=11.51 cores=0-7 /proc/15300/task/15302/stat : 15302 (cosoco) R 15297 15300 14394 0 -1 4202560 93158 0 0 0 1124 27 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140340017072824 5037850 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15303] ppid=15297 vsize=1870168 memory=1258532 CPUtime=11.52 cores=0-7 /proc/15300/task/15303/stat : 15303 (cosoco) R 15297 15300 14394 0 -1 4202560 103932 0 0 0 1146 6 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140340008680544 5038944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15304] ppid=15297 vsize=1870168 memory=1258532 CPUtime=11.36 cores=0-7 /proc/15300/task/15304/stat : 15304 (cosoco) R 15297 15300 14394 0 -1 4202560 96415 0 0 0 1072 64 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140340000287416 5009426 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15305] ppid=15297 vsize=1870168 memory=0 CPUtime=11.47 cores=0-7 /proc/15300/task/15305/stat : 15305 (cosoco) R 15297 15300 14394 0 -1 4202560 167805 0 0 0 1139 8 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140339991895136 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15306] ppid=15297 vsize=1870168 memory=5184025527460 CPUtime=11.52 cores=0-7 /proc/15300/task/15306/stat : 15306 (cosoco) R 15297 15300 14394 0 -1 4202560 92716 0 0 0 1126 26 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140339983502432 5037821 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15307] ppid=15297 vsize=1870168 memory=288230583166042426 CPUtime=11.53 cores=0-7 /proc/15300/task/15307/stat : 15307 (cosoco) R 15297 15300 14394 0 -1 4202560 168080 0 0 0 1142 11 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140339975109728 5038944 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15308] ppid=15297 vsize=1870168 memory=0 CPUtime=11.52 cores=0-7 /proc/15300/task/15308/stat : 15308 (cosoco) R 15297 15300 14394 0 -1 4202560 165876 0 0 0 1143 9 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140339966717024 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15309] ppid=15297 vsize=1870168 memory=0 CPUtime=11.48 cores=0-7 /proc/15300/task/15309/stat : 15309 (cosoco) R 15297 15300 14394 0 -1 4202560 140673 0 0 0 1098 50 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140339958324320 5038992 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 Current children cumulated CPU time: 93.16 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258532 KiB [startup+25.51 s] /proc/loadavg: 4.10 1.76 1.73 9/201 15314 /proc/meminfo: memFree=29692692/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=1870168 memory=1258532 CPUtime=195.26 cores=0-7 /proc/15300/stat : 15300 (cosoco) S 15297 15300 14394 0 -1 1077944320 1981702 0 0 0 19204 322 0 0 20 0 9 0 558334253 1915052032 314633 33554432000 4194304 6211132 140734011240816 140734011239072 140340040216311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 467542 314633 844 493 0 460847 0 [pid=15300/tid=15302] ppid=15297 vsize=1870168 memory=1258532 CPUtime=24.31 cores=0-7 /proc/15300/task/15302/stat : 15302 (cosoco) R 15297 15300 14394 0 -1 4202560 179109 0 0 0 2388 43 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140340017073248 5039536 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15303] ppid=15297 vsize=1870168 memory=1258532 CPUtime=24.33 cores=0-7 /proc/15300/task/15303/stat : 15303 (cosoco) R 15297 15300 14394 0 -1 4202560 180767 0 0 0 2422 11 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140340008680544 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15304] ppid=15297 vsize=1870168 memory=1258532 CPUtime=24.13 cores=0-7 /proc/15300/task/15304/stat : 15304 (cosoco) R 15297 15300 14394 0 -1 4202560 171440 0 0 0 2336 77 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140340000287840 5038944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15305] ppid=15297 vsize=1870168 memory=1258532 CPUtime=24.1 cores=0-7 /proc/15300/task/15305/stat : 15305 (cosoco) R 15297 15300 14394 0 -1 4202560 252612 0 0 0 2396 14 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140339991895136 5039029 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15306] ppid=15297 vsize=1870168 memory=1258532 CPUtime=24.27 cores=0-7 /proc/15300/task/15306/stat : 15306 (cosoco) R 15297 15300 14394 0 -1 4202560 170789 0 0 0 2383 44 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140339983502432 5037854 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15307] ppid=15297 vsize=1870168 memory=1258532 CPUtime=24.33 cores=0-7 /proc/15300/task/15307/stat : 15307 (cosoco) R 15297 15300 14394 0 -1 4202560 250349 0 0 0 2417 16 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140339975109728 5039029 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15308] ppid=15297 vsize=1870168 memory=1258532 CPUtime=24.33 cores=0-7 /proc/15300/task/15308/stat : 15308 (cosoco) R 15297 15300 14394 0 -1 4202560 243487 0 0 0 2418 15 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140339966717024 5039018 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15309] ppid=15297 vsize=1870168 memory=279475938370720 CPUtime=24.21 cores=0-7 /proc/15300/task/15309/stat : 15309 (cosoco) R 15297 15300 14394 0 -1 4202560 218716 0 0 0 2362 59 0 0 20 0 9 0 558334369 1915052032 314633 33554432000 4194304 6211132 140734011240816 140339958324320 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 Current children cumulated CPU time: 195.26 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258532 KiB [startup+51.101 s] /proc/loadavg: 5.72 2.33 1.91 9/201 15316 /proc/meminfo: memFree=29693736/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=1870168 memory=1258548 CPUtime=399.58 cores=0-7 /proc/15300/stat : 15300 (cosoco) S 15297 15300 14394 0 -1 1077944320 2451964 0 0 0 39604 354 0 0 20 0 9 0 558334253 1915052032 314637 33554432000 4194304 6211132 140734011240816 140734011239072 140340040216311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 467542 314637 848 493 0 460847 0 [pid=15300/tid=15302] ppid=15297 vsize=1870168 memory=1258548 CPUtime=49.9 cores=0-7 /proc/15300/task/15302/stat : 15302 (cosoco) R 15297 15300 14394 0 -1 4202560 249260 0 0 0 4943 47 0 0 20 0 9 0 558334369 1915052032 314637 33554432000 4194304 6211132 140734011240816 140340017073248 5038944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15303] ppid=15297 vsize=1870168 memory=1258548 CPUtime=49.92 cores=0-7 /proc/15300/task/15303/stat : 15303 (cosoco) R 15297 15300 14394 0 -1 4202560 259215 0 0 0 4976 16 0 0 20 0 9 0 558334369 1915052032 314637 33554432000 4194304 6211132 140734011240816 140340008680544 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15304] ppid=15297 vsize=1870168 memory=1258548 CPUtime=49.72 cores=0-7 /proc/15300/task/15304/stat : 15304 (cosoco) R 15297 15300 14394 0 -1 4202560 240345 0 0 0 4886 86 0 0 20 0 9 0 558334369 1915052032 314637 33554432000 4194304 6211132 140734011240816 140340000287840 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15305] ppid=15297 vsize=1870168 memory=1258548 CPUtime=49.33 cores=0-7 /proc/15300/task/15305/stat : 15305 (cosoco) R 15297 15300 14394 0 -1 4202560 293405 0 0 0 4917 16 0 0 20 0 9 0 558334369 1915052032 314637 33554432000 4194304 6211132 140734011240816 140339991895136 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15306] ppid=15297 vsize=1870168 memory=1258548 CPUtime=49.85 cores=0-7 /proc/15300/task/15306/stat : 15306 (cosoco) R 15297 15300 14394 0 -1 4202560 237257 0 0 0 4937 48 0 0 20 0 9 0 558334369 1915052032 314637 33554432000 4194304 6211132 140734011240816 140339983502432 5037823 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15307] ppid=15297 vsize=1870168 memory=1258548 CPUtime=49.93 cores=0-7 /proc/15300/task/15307/stat : 15307 (cosoco) R 15297 15300 14394 0 -1 4202560 289053 0 0 0 4975 18 0 0 20 0 9 0 558334369 1915052032 314637 33554432000 4194304 6211132 140734011240816 140339975109728 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15308] ppid=15297 vsize=1870168 memory=0 CPUtime=49.91 cores=0-7 /proc/15300/task/15308/stat : 15308 (cosoco) R 15297 15300 14394 0 -1 4202560 281929 0 0 0 4973 18 0 0 20 0 9 0 558334369 1915052032 314637 33554432000 4194304 6211132 140734011240816 140339966717024 5039104 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15309] ppid=15297 vsize=1870168 memory=1258548 CPUtime=49.79 cores=0-7 /proc/15300/task/15309/stat : 15309 (cosoco) R 15297 15300 14394 0 -1 4202560 287064 0 0 0 4917 62 0 0 20 0 9 0 558334369 1915052032 314637 33554432000 4194304 6211132 140734011240816 140339958324320 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 Current children cumulated CPU time: 399.58 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258548 KiB [startup+102.301 s] /proc/loadavg: 7.26 3.28 2.26 9/201 15319 /proc/meminfo: memFree=29692404/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=1870168 memory=1258552 CPUtime=808.29 cores=0-7 /proc/15300/stat : 15300 (cosoco) S 15297 15300 14394 0 -1 1077944320 3090070 0 0 0 80431 398 0 0 20 0 9 0 558334253 1915052032 314638 33554432000 4194304 6211132 140734011240816 140734011239072 140340040216311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 467542 314638 849 493 0 460847 0 [pid=15300/tid=15302] ppid=15297 vsize=1870168 memory=1258552 CPUtime=101.09 cores=0-7 /proc/15300/task/15302/stat : 15302 (cosoco) R 15297 15300 14394 0 -1 4202560 325061 0 0 0 10055 54 0 0 20 0 9 0 558334369 1915052032 314638 33554432000 4194304 6211132 140734011240816 140340017073248 5039240 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15303] ppid=15297 vsize=1870168 memory=1258552 CPUtime=101.09 cores=0-7 /proc/15300/task/15303/stat : 15303 (cosoco) R 15297 15300 14394 0 -1 4202560 337768 0 0 0 10087 22 0 0 20 0 9 0 558334369 1915052032 314638 33554432000 4194304 6211132 140734011240816 140340008680544 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15304] ppid=15297 vsize=1870168 memory=1258552 CPUtime=100.9 cores=0-7 /proc/15300/task/15304/stat : 15304 (cosoco) R 15297 15300 14394 0 -1 4202560 325738 0 0 0 9999 91 0 0 20 0 9 0 558334369 1915052032 314638 33554432000 4194304 6211132 140734011240816 140340000287840 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15305] ppid=15297 vsize=1870168 memory=1258552 CPUtime=100 cores=0-7 /proc/15300/task/15305/stat : 15305 (cosoco) R 15297 15300 14394 0 -1 4202560 370202 0 0 0 9979 21 0 0 20 0 9 0 558334369 1915052032 314638 33554432000 4194304 6211132 140734011240816 140339991895136 5037847 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15306] ppid=15297 vsize=1870168 memory=1258552 CPUtime=101.05 cores=0-7 /proc/15300/task/15306/stat : 15306 (cosoco) R 15297 15300 14394 0 -1 4202560 320125 0 0 0 10052 53 0 0 20 0 9 0 558334369 1915052032 314638 33554432000 4194304 6211132 140734011240816 140339983502432 5038737 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15307] ppid=15297 vsize=1870168 memory=1258552 CPUtime=100.9 cores=0-7 /proc/15300/task/15307/stat : 15307 (cosoco) R 15297 15300 14394 0 -1 4202560 366504 0 0 0 10068 22 0 0 20 0 9 0 558334369 1915052032 314638 33554432000 4194304 6211132 140734011240816 140339975109728 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15308] ppid=15297 vsize=1870168 memory=66467 CPUtime=101.07 cores=0-7 /proc/15300/task/15308/stat : 15308 (cosoco) R 15297 15300 14394 0 -1 4202560 363044 0 0 0 10084 23 0 0 20 0 9 0 558334369 1915052032 314638 33554432000 4194304 6211132 140734011240816 140339966717024 5037744 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15309] ppid=15297 vsize=1870168 memory=1258552 CPUtime=100.97 cores=0-7 /proc/15300/task/15309/stat : 15309 (cosoco) R 15297 15300 14394 0 -1 4202560 367190 0 0 0 10028 69 0 0 20 0 9 0 558334369 1915052032 314638 33554432000 4194304 6211132 140734011240816 140339958324320 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 Current children cumulated CPU time: 808.29 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258552 KiB [startup+107.579 s] # the end of solver process 15300 was just reported to runsolver # cumulated CPU time of all completed processes: user=844.968 s, system=4.08985 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+103.401 s]* /proc/loadavg: 7.26 3.28 2.26 9/201 15319 /proc/meminfo: memFree=29692620/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=1870168 memory=1258556 CPUtime=817.13 cores=0-7 /proc/15300/stat : 15300 (cosoco) S 15297 15300 14394 0 -1 1077944320 3090405 0 0 0 81315 398 0 0 20 0 9 0 558334253 1915052032 314639 33554432000 4194304 6211132 140734011240816 140734011239072 140340040216311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 467542 314639 849 493 0 460847 0 [pid=15300/tid=15302] ppid=15297 vsize=1870168 memory=6935054825532540783 CPUtime=102.2 cores=0-7 /proc/15300/task/15302/stat : 15302 (cosoco) R 15297 15300 14394 0 -1 4202560 325390 0 0 0 10166 54 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140340017073016 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15303] ppid=15297 vsize=1870168 memory=4126316290023845779 CPUtime=102.2 cores=0-7 /proc/15300/task/15303/stat : 15303 (cosoco) R 15297 15300 14394 0 -1 4202560 337768 0 0 0 10198 22 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140340008680544 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15304] ppid=15297 vsize=1870168 memory=4132 CPUtime=102 cores=0-7 /proc/15300/task/15304/stat : 15304 (cosoco) R 15297 15300 14394 0 -1 4202560 325738 0 0 0 10109 91 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140340000287840 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15305] ppid=15297 vsize=1870168 memory=1258552 CPUtime=101.11 cores=0-7 /proc/15300/task/15305/stat : 15305 (cosoco) R 15297 15300 14394 0 -1 4202560 370202 0 0 0 10090 21 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339991895136 5039199 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15306] ppid=15297 vsize=1870168 memory=1404 CPUtime=102.16 cores=0-7 /proc/15300/task/15306/stat : 15306 (cosoco) R 15297 15300 14394 0 -1 4202560 320125 0 0 0 10163 53 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339983502432 5037823 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15307] ppid=15297 vsize=1870168 memory=2688 CPUtime=101.98 cores=0-7 /proc/15300/task/15307/stat : 15307 (cosoco) R 15297 15300 14394 0 -1 4202560 366515 0 0 0 10176 22 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339975109728 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15308] ppid=15297 vsize=1870168 memory=6935054825532540783 CPUtime=102.18 cores=0-7 /proc/15300/task/15308/stat : 15308 (cosoco) R 15297 15300 14394 0 -1 4202560 363044 0 0 0 10195 23 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339966717024 5037825 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15309] ppid=15297 vsize=1870168 memory=1772 CPUtime=102.08 cores=0-7 /proc/15300/task/15309/stat : 15309 (cosoco) R 15297 15300 14394 0 -1 4202560 367190 0 0 0 10139 69 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339958324320 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 Current children cumulated CPU time: 817.13 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258556 KiB [startup+105.001 s] /proc/loadavg: 7.32 3.36 2.29 9/201 15319 /proc/meminfo: memFree=29692620/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=1870168 memory=1258556 CPUtime=829.84 cores=0-7 /proc/15300/stat : 15300 (cosoco) S 15297 15300 14394 0 -1 1077944320 3099384 0 0 0 82586 398 0 0 20 0 9 0 558334253 1915052032 314639 33554432000 4194304 6211132 140734011240816 140734011239072 140340040216311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 467542 314639 849 493 0 460847 0 [pid=15300/tid=15302] ppid=15297 vsize=1870168 memory=139742364247679 CPUtime=103.79 cores=0-7 /proc/15300/task/15302/stat : 15302 (cosoco) R 15297 15300 14394 0 -1 4202560 334350 0 0 0 10324 55 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140340017073016 5038259 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15303] ppid=15297 vsize=1870168 memory=1258556 CPUtime=103.79 cores=0-7 /proc/15300/task/15303/stat : 15303 (cosoco) R 15297 15300 14394 0 -1 4202560 337771 0 0 0 10357 22 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140340008680544 5039121 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15304] ppid=15297 vsize=1870168 memory=580 CPUtime=103.59 cores=0-7 /proc/15300/task/15304/stat : 15304 (cosoco) R 15297 15300 14394 0 -1 4202560 325741 0 0 0 10268 91 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140340000287840 5037759 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15305] ppid=15297 vsize=1870168 memory=1258552 CPUtime=102.7 cores=0-7 /proc/15300/task/15305/stat : 15305 (cosoco) R 15297 15300 14394 0 -1 4202560 370202 0 0 0 10249 21 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339991895136 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15306] ppid=15297 vsize=1870168 memory=0 CPUtime=103.75 cores=0-7 /proc/15300/task/15306/stat : 15306 (cosoco) R 15297 15300 14394 0 -1 4202560 320130 0 0 0 10322 53 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339983502432 5038964 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15307] ppid=15297 vsize=1870168 memory=10456 CPUtime=103.56 cores=0-7 /proc/15300/task/15307/stat : 15307 (cosoco) R 15297 15300 14394 0 -1 4202560 366515 0 0 0 10334 22 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339975109728 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15308] ppid=15297 vsize=1870168 memory=988 CPUtime=103.77 cores=0-7 /proc/15300/task/15308/stat : 15308 (cosoco) R 15297 15300 14394 0 -1 4202560 363044 0 0 0 10354 23 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339966717024 5039026 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15309] ppid=15297 vsize=1870168 memory=3620 CPUtime=103.67 cores=0-7 /proc/15300/task/15309/stat : 15309 (cosoco) R 15297 15300 14394 0 -1 4202560 367193 0 0 0 10298 69 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339958324320 5038964 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 Current children cumulated CPU time: 829.84 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258556 KiB [startup+106.601 s] /proc/loadavg: 7.32 3.36 2.29 9/201 15319 /proc/meminfo: memFree=29692992/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=1870168 memory=1258556 CPUtime=842.62 cores=0-7 /proc/15300/stat : 15300 (cosoco) S 15297 15300 14394 0 -1 1077944320 3099391 0 0 0 83863 399 0 0 20 0 9 0 558334253 1915052032 314639 33554432000 4194304 6211132 140734011240816 140734011239072 140340040216311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 467542 314639 849 493 0 460847 0 [pid=15300/tid=15302] ppid=15297 vsize=1870168 memory=1258552 CPUtime=105.39 cores=0-7 /proc/15300/task/15302/stat : 15302 (cosoco) R 15297 15300 14394 0 -1 4202560 334350 0 0 0 10484 55 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140340017073016 5039026 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15303] ppid=15297 vsize=1870168 memory=3620 CPUtime=105.39 cores=0-7 /proc/15300/task/15303/stat : 15303 (cosoco) R 15297 15300 14394 0 -1 4202560 337775 0 0 0 10517 22 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140340008680544 5037823 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15304] ppid=15297 vsize=1870168 memory=1258556 CPUtime=105.19 cores=0-7 /proc/15300/task/15304/stat : 15304 (cosoco) R 15297 15300 14394 0 -1 4202560 325742 0 0 0 10428 91 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140340000287840 5008940 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15305] ppid=15297 vsize=1870168 memory=10604 CPUtime=104.3 cores=0-7 /proc/15300/task/15305/stat : 15305 (cosoco) R 15297 15300 14394 0 -1 4202560 370204 0 0 0 10409 21 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339991895136 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15306] ppid=15297 vsize=1870168 memory=4024 CPUtime=105.35 cores=0-7 /proc/15300/task/15306/stat : 15306 (cosoco) R 15297 15300 14394 0 -1 4202560 320130 0 0 0 10482 53 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339983502432 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15307] ppid=15297 vsize=1870168 memory=6935054825532540783 CPUtime=105.13 cores=0-7 /proc/15300/task/15307/stat : 15307 (cosoco) R 15297 15300 14394 0 -1 4202560 366515 0 0 0 10491 22 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339975109728 5038992 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15308] ppid=15297 vsize=1870168 memory=10604 CPUtime=105.37 cores=0-7 /proc/15300/task/15308/stat : 15308 (cosoco) R 15297 15300 14394 0 -1 4202560 363044 0 0 0 10514 23 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339966717024 5039217 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15309] ppid=15297 vsize=1870168 memory=10057 CPUtime=105.27 cores=0-7 /proc/15300/task/15309/stat : 15309 (cosoco) R 15297 15300 14394 0 -1 4202560 367193 0 0 0 10458 69 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339958324320 5037854 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 Current children cumulated CPU time: 842.62 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258556 KiB [startup+107.001 s] /proc/loadavg: 7.32 3.36 2.29 9/201 15319 /proc/meminfo: memFree=29692992/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=1870168 memory=1258556 CPUtime=845.81 cores=0-7 /proc/15300/stat : 15300 (cosoco) S 15297 15300 14394 0 -1 1077944320 3099391 0 0 0 84182 399 0 0 20 0 9 0 558334253 1915052032 314639 33554432000 4194304 6211132 140734011240816 140734011239072 140340040216311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 467542 314639 849 493 0 460847 0 [pid=15300/tid=15302] ppid=15297 vsize=1870168 memory=2008 CPUtime=105.79 cores=0-7 /proc/15300/task/15302/stat : 15302 (cosoco) R 15297 15300 14394 0 -1 4202560 334350 0 0 0 10524 55 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140340017073016 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15303] ppid=15297 vsize=1870168 memory=1440 CPUtime=105.79 cores=0-7 /proc/15300/task/15303/stat : 15303 (cosoco) R 15297 15300 14394 0 -1 4202560 337775 0 0 0 10557 22 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140340008680544 5039007 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15304] ppid=15297 vsize=1870168 memory=580 CPUtime=105.59 cores=0-7 /proc/15300/task/15304/stat : 15304 (cosoco) R 15297 15300 14394 0 -1 4202560 325742 0 0 0 10468 91 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140340000287840 5039007 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15305] ppid=15297 vsize=1870168 memory=1720 CPUtime=104.7 cores=0-7 /proc/15300/task/15305/stat : 15305 (cosoco) R 15297 15300 14394 0 -1 4202560 370204 0 0 0 10449 21 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339991895136 5039022 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15306] ppid=15297 vsize=1870168 memory=10604 CPUtime=105.75 cores=0-7 /proc/15300/task/15306/stat : 15306 (cosoco) R 15297 15300 14394 0 -1 4202560 320130 0 0 0 10522 53 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339983502432 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15307] ppid=15297 vsize=1870168 memory=4024 CPUtime=105.53 cores=0-7 /proc/15300/task/15307/stat : 15307 (cosoco) R 15297 15300 14394 0 -1 4202560 366515 0 0 0 10531 22 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339975109728 5037823 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15308] ppid=15297 vsize=1870168 memory=776 CPUtime=105.77 cores=0-7 /proc/15300/task/15308/stat : 15308 (cosoco) R 15297 15300 14394 0 -1 4202560 363044 0 0 0 10554 23 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339966717024 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 [pid=15300/tid=15309] ppid=15297 vsize=1870168 memory=1564 CPUtime=105.66 cores=0-7 /proc/15300/task/15309/stat : 15309 (cosoco) R 15297 15300 14394 0 -1 4202560 367193 0 0 0 10497 69 0 0 20 0 9 0 558334369 1915052032 314639 33554432000 4194304 6211132 140734011240816 140339958324320 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 Current children cumulated CPU time: 845.81 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258556 KiB [startup+107.401 s]* /proc/loadavg: 7.32 3.36 2.29 2/194 15319 /proc/meminfo: memFree=29692992/32770624 swapFree=66976580/67108860 [pid=15300] ppid=15297 vsize=1870168 memory=1258560 CPUtime=848.88 cores=0-7 /proc/15300/stat : 15300 (cosoco) S 15297 15300 14394 0 -1 1077944320 3099444 0 0 0 84489 399 0 0 20 0 2 0 558334253 1915052032 314640 33554432000 4194304 6211132 140734011240816 140734011239072 140340040216311 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 /proc/15300/statm: 467542 314640 850 493 0 460847 0 [pid=15300/tid=15303] ppid=15297 vsize=1870168 memory=6935054825532540783 CPUtime=106.2 cores=0-7 /proc/15300/task/15303/stat : 15303 (cosoco) R 15297 15300 14394 0 -1 4202560 337775 0 0 0 10598 22 0 0 20 0 2 0 558334369 1915052032 314640 33554432000 4194304 6211132 140734011240816 140340008680544 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27590656 140734011245585 140734011245677 140734011245677 140734011248590 0 Current children cumulated CPU time: 848.88 s Current children cumulated vsize: 1870168 KiB Current children cumulated memory: 1258560 KiB [startup+107.509 s]* /proc/loadavg: 7.32 3.36 2.29 2/193 15319 /proc/meminfo: memFree=30126712/32770624 swapFree=66976580/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): 107.579 CPU time (s): 849.058 CPU user time (s): 844.968 CPU system time (s): 4.08985 CPU usage (%): 789.244 Max. virtual memory (cumulated for all children) (KiB): 1870168 Max. memory (cumulated for all children) (KiB): 1258560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 844.968 system time used= 4.08985 maximum resident set size= 1258712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3099474 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= 555 involuntary context switches= 8061 # summary of solver processes directly reported to runsolver: # pid: 15300 # total CPU time (s): 849.058 # total CPU user time (s): 844.968 # total CPU system time (s): 4.08985 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.556307 second user time and 0.912103 second system time The end
Begin job on node124 at 2019-09-30 08:11:41 IDJOB=4409358 IDBENCH=125875 IDSOLVER=2877 FILE ID=node124/4409358-1569823942 RUNJOBID= node124-1569816334-14422 PBS_JOBID= 21705906 Free space on /tmp= 61536 MiB SOLVER NAME= cosoco 2.0 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-4409358-1569823942/watcher-4409358-1569823942 -o /tmp/evaluation-result-4409358-1569823942/solver-4409358-1569823942 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node124-1569816334-14422 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409358-1569823942.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 1db35719a72b9401cb48f365dc7349f7 RANDOM SEED=662383269 node124.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.47 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.47 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.47 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.47 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: 29917956 kB MemAvailable: 31835972 kB Buffers: 117232 kB Cached: 2133556 kB SwapCached: 29128 kB Active: 881268 kB Inactive: 1405140 kB Active(anon): 6364 kB Inactive(anon): 111228 kB Active(file): 874904 kB Inactive(file): 1293912 kB Unevictable: 109524 kB Mlocked: 109524 kB SwapTotal: 67108860 kB SwapFree: 66976580 kB Dirty: 765024 kB Writeback: 96332 kB AnonPages: 116276 kB Mapped: 27872 kB Shmem: 73488 kB Slab: 158984 kB SReclaimable: 130072 kB SUnreclaim: 28912 kB KernelStack: 3472 kB PageTables: 5720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 541316 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62028 MiB End job on node124 at 2019-09-30 08:13:29