| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | UNSAT | 1400.29 | 176.672 |
| Name | QRandom/QRandom-bdd-18-21-2/ bdd-18-21-2-133-78-06.xml |
| MD5SUM | c11db23a97f48af6ae936ba62121dffc |
| 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 | 8.61259 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 21 |
| Number of constraints | 133 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":21}] |
| Minimum variable degree | 106 |
| Maximum variable degree | 123 |
| Distribution of variable degrees | [{"degree":106,"count":1},{"degree":107,"count":1},{"degree":108,"count":1},{"degree":111,"count":2},{"degree":112,"count":4},{"degree":113,"count":2},{"degree":114,"count":1},{"degree":116,"count":1},{"degree":117,"count":4},{"degree":118,"count":2},{"degree":120,"count":1},{"degree":123,"count":1}] |
| Minimum constraint arity | 18 |
| Maximum constraint arity | 18 |
| Distribution of constraint arities | [{"arity":18,"count":133}] |
| Number of extensional constraints | 133 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":133}] |
| Optimization problem | NO |
| Type of objective |
4.48/1.90 c root propagations : 0 4.48/1.90 c restarts enabled, print stats at every restarts 4.48/1.90 c 4.48/1.90 c 4.48/1.90 c 4.48/1.90 c This is cosoco 2.00 -- 4.48/1.90 c 4.48/1.90 c command line: cosoco -model -nbcores=8 HOME/instance-4409352-1569824037.xml 4.48/1.90 c ========================================[ Problem Statistics ]=========================================== 4.48/1.90 c | 4.48/1.90 c | Parse time : 1.24 s 4.48/1.90 c | 4.48/1.90 c | Variables: 21 4.48/1.90 c | Domain Sizes: 2..2 4.48/1.90 c | 4.48/1.90 c | Constraints: 133 4.48/1.90 c | Arity: 18..18 4.48/1.90 c | 4.48/1.90 c | Types: 4.48/1.90 c | Extension: 133 (nb tuples: 57819..57819) -- (shared: 1056) 4.48/1.90 c | 4.48/1.90 c ========================================================================================================= 4.48/1.90 c Parallel mode: Portfolio 4.48/1.90 c [pFactory][Group N°0] created (threads:8). 4.48/1.90 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 4.48/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 4.48/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 4.48/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 4.48/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 4.48/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 4.48/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 4.48/1.91 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 4.48/1.91 c [pFactory][Group N°0] concurrent mode: enabled. 4.48/1.91 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 4.48/1.91 c [pFactory][Group N°0] task 7 launched on thread 7. 4.48/1.91 c [pFactory][Group N°0] task 6 launched on thread 0. 4.48/1.91 c [pFactory][Group N°0] task 5 launched on thread 1. 4.48/1.91 c [pFactory][Group N°0] task 4 launched on thread 5. 4.48/1.91 c [pFactory][Group N°0] task 3 launched on thread 2. 4.48/1.91 c [pFactory][Group N°0] task 2 launched on thread 3. 4.48/1.91 c [pFactory][Group N°0] task 1 launched on thread 6. 4.48/1.91 c [pFactory][Group N°0] task 0 launched on thread 4. 4.48/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.48/1.91 c root propagations : 0 4.48/1.91 c restarts enabled, print stats at every restarts 4.48/1.91 c 4.48/1.91 c 4.48/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.48/1.91 c root propagations : 0 4.48/1.91 c restarts enabled, print stats at every restarts 4.48/1.91 c 4.48/1.91 c 4.48/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.48/1.91 c root propagations : 0 4.48/1.91 c restarts enabled, print stats at every restarts 4.48/1.91 c 4.48/1.91 c 4.48/1.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.28/1.92 c root propagations : 0 5.28/1.92 c restarts enabled, print stats at every restarts 5.28/1.92 c 5.28/1.92 c 5.28/1.92 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.28/1.92 c root propagations : 0 5.28/1.92 c restarts enabled, print stats at every restarts 5.28/1.92 c 5.28/1.92 c 5.28/1.92 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.28/1.93 c root propagations : 0 5.28/1.93 c restarts enabled, print stats at every restarts 5.28/1.93 c 5.28/1.93 c 5.28/1.93 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.28/1.94 c root propagations : 0 5.28/1.94 c restarts enabled, print stats at every restarts 5.28/1.95 c 5.28/1.95 c 5.28/1.95 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 11.67/2.74 c 32 114 15050 607 0 0 9 15 13 14.13/3.05 c 32 118 16127 607 0 0 12 15 13 14.13/3.07 c 32 121 17269 640 0 0 12 15 13 14.93/3.13 c 101 359 49932 1984 0 0 11 15 13 14.93/3.19 c 101 355 50730 2031 0 0 9 15 13 14.93/3.19 c 32 121 17269 640 0 0 12 15 13 15.69/3.23 c 101 345 46124 1926 0 0 8 16 13 17.26/3.47 c 33 127 16686 632 0 0 13 13 6 18.05/3.54 c 101 363 53650 2017 0 0 8 16 13 21.25/3.91 c 33 134 18880 665 0 0 13 13 6 21.25/3.99 c 33 131 17711 636 0 0 13 13 6 22.12/4.09 c 33 134 18880 665 0 0 13 13 6 22.92/4.18 c 211 745 107301 4170 0 0 10 15 13 23.64/4.22 c 211 711 99557 4074 0 0 8 15 13 25.24/4.41 c 64 235 31054 1222 0 0 12 14 13 27.64/4.73 c 211 716 98991 4114 0 0 9 15 13 27.64/4.79 c 64 244 34380 1305 0 0 9 16 13 29.24/4.97 c 211 751 104391 4085 0 0 8 15 13 30.10/5.02 c 64 242 33799 1293 0 0 10 16 13 30.10/5.02 c 64 232 31093 1199 0 0 10 15 13 32.42/5.30 c 65 248 32584 1254 0 0 13 13 6 33.22/5.43 c 332 1144 157442 6414 0 0 11 15 13 34.02/5.50 c 332 1161 165442 6558 0 0 10 15 13 34.02/5.58 c 65 257 35930 1335 0 0 13 13 6 37.23/5.99 c 65 246 32755 1227 0 0 14 14 7 38.09/6.02 c 65 256 35587 1320 0 0 14 14 7 39.66/6.24 c 66 261 34109 1286 0 0 13 13 6 41.20/6.42 c 332 1124 154326 6357 0 0 10 14 13 42.01/6.58 c 66 270 37486 1365 0 0 13 13 6 42.82/6.66 c 332 1165 158060 6411 0 0 10 14 13 45.21/6.96 c 66 260 34472 1267 0 0 14 14 7 45.21/6.97 c 465 1597 218444 8973 0 0 9 15 13 46.07/7.04 c 465 1607 224988 9042 0 0 9 15 13 47.60/7.25 c 66 268 37102 1343 0 0 12 12 6 48.40/7.31 c 67 275 35763 1319 0 0 14 14 7 51.59/7.80 c 67 283 39036 1395 0 0 13 13 6 53.19/7.96 c 67 274 36168 1298 0 0 14 14 7 54.06/8.08 c 465 1565 213919 8904 0 0 10 15 13 57.17/8.42 c 465 1640 219868 8973 0 0 10 15 13 57.97/8.56 c 611 2099 285673 11726 0 0 8 15 13 57.97/8.57 c 67 281 38688 1374 0 0 13 13 6 58.77/8.67 c 128 468 61384 2388 0 0 11 15 13 59.58/8.75 c 611 2124 293869 11845 0 0 9 15 13 62.04/9.05 c 128 489 64489 2456 0 0 8 15 13 63.56/9.22 c 128 496 66737 2616 0 0 11 15 13 68.35/9.85 c 611 2042 278637 11621 0 0 11 15 13 68.35/9.86 c 129 482 63030 2415 0 0 14 14 7 69.16/9.98 c 129 503 66257 2492 0 0 14 14 7 70.03/10.05 c 128 492 68168 2570 0 0 10 14 13 71.55/10.24 c 611 2135 285601 11854 0 0 10 15 13 71.55/10.26 c 771 2667 361609 14847 0 0 11 15 13 73.15/10.44 c 129 509 68370 2648 0 0 13 13 6 73.15/10.47 c 771 2658 365278 14840 0 0 8 15 13 76.35/10.88 c 130 517 68022 2528 0 0 14 14 7 78.81/11.18 c 130 496 64665 2442 0 0 14 14 7 79.53/11.26 c 129 505 69793 2601 0 0 13 13 6 81.93/11.57 c 771 2600 353923 14776 0 0 8 15 13 82.73/11.65 c 130 522 70008 2680 0 0 13 13 6 83.53/11.79 c 131 531 69792 2564 0 0 14 14 7 86.00/12.04 c 771 2684 358031 14897 0 0 11 15 13 86.80/12.13 c 947 3265 440658 18138 0 0 8 15 13 87.52/12.22 c 947 3278 450287 18384 0 0 10 15 13 89.12/12.46 c 131 510 66311 2469 0 0 14 14 7 89.91/12.54 c 130 518 71424 2632 0 0 13 13 6 92.32/12.84 c 131 535 71641 2712 0 0 13 13 6 92.32/12.87 c 132 545 71560 2600 0 0 14 14 7 96.30/13.30 c 947 3193 433094 18165 0 0 9 15 13 99.50/13.71 c 132 524 67946 2496 0 0 14 14 7 100.30/13.86 c 947 3264 435188 18094 0 0 9 15 13 100.30/13.86 c 131 531 73049 2663 0 0 13 13 6 101.10/13.91 c 1140 3932 528449 21790 0 0 9 15 13 101.10/13.94 c 1140 3965 542420 22255 0 0 6 15 13 101.10/13.97 c 132 548 73282 2744 0 0 13 13 6 101.97/14.03 c 133 559 73203 2627 0 0 14 14 7 109.08/14.97 c 133 538 69570 2517 0 0 14 14 7 109.95/15.09 c 132 544 74679 2694 0 0 13 13 6 110.74/15.15 c 134 573 74968 2663 0 0 14 14 7 111.47/15.21 c 133 561 74920 2776 0 0 13 13 6 111.47/15.22 c 1140 3877 524540 21964 0 0 11 15 13 114.67/15.66 c 1140 3926 522021 21701 0 0 6 15 13 115.46/15.75 c 1352 4692 641247 26450 0 0 10 15 13 116.26/15.89 c 1352 4667 627625 25905 0 0 11 15 13 119.45/16.20 c 134 552 71205 2544 0 0 14 14 7 120.25/16.31 c 135 587 76611 2690 0 0 14 14 7 120.25/16.32 c 134 574 76638 2806 0 0 13 13 6 121.05/16.46 c 133 557 76304 2725 0 0 13 13 6 127.43/17.28 c 1352 4607 627594 26111 0 0 10 15 13 129.03/17.44 c 135 566 72829 2565 0 0 14 14 7 129.03/17.45 c 135 587 78351 2836 0 0 13 13 6 130.64/17.64 c 1585 5514 750797 31051 0 0 8 15 13 131.43/17.73 c 134 570 77934 2756 0 0 13 13 6 131.43/17.77 c 1352 4669 619315 25796 0 0 9 15 13 131.43/17.79 c 256 989 129612 4887 0 0 9 15 13 133.09/17.92 c 1585 5447 731122 30381 0 0 7 15 13 141.01/18.96 c 257 1002 131142 4918 0 0 13 13 6 141.88/19.06 c 256 1027 137279 5282 0 0 8 15 13 141.88/19.07 c 256 996 128943 4890 0 0 10 15 13 141.88/19.07 c 135 583 79559 2787 0 0 13 13 6 144.19/19.31 c 1585 5421 734889 30530 0 0 6 15 13 145.80/19.56 c 1841 6381 866634 35923 0 0 8 15 13 148.19/19.85 c 1841 6318 848197 35231 0 0 7 15 13 148.99/19.97 c 1585 5482 726180 30297 0 0 7 15 13 148.99/19.99 c 258 1015 132761 4948 0 0 13 13 6 152.18/20.35 c 257 1039 138884 5305 0 0 12 12 6 152.18/20.39 c 257 1010 130569 4913 0 0 14 14 7 155.38/20.73 c 256 1011 140282 5192 0 0 9 15 13 158.65/21.12 c 259 1028 134375 4978 0 0 13 13 6 161.76/21.56 c 258 1051 140489 5328 0 0 12 12 6 163.36/21.71 c 1841 6306 855082 35434 0 0 6 15 13 163.36/21.73 c 258 1024 132216 4944 0 0 14 14 7 164.16/21.82 c 2122 7342 997637 41369 0 0 10 15 13 165.83/22.06 c 257 1024 141917 5221 0 0 13 13 6 166.62/22.17 c 260 1041 135927 5009 0 0 13 13 6 167.35/22.21 c 2122 7280 980512 40589 0 0 9 15 13 167.35/22.28 c 1841 6348 840723 35082 0 0 10 15 13 171.35/22.71 c 259 1063 142094 5351 0 0 12 12 6 173.81/23.07 c 259 1038 133842 4967 0 0 14 14 7 176.13/23.31 c 261 1054 137495 5036 0 0 13 13 6 176.13/23.34 c 258 1037 143627 5251 0 0 13 13 6 180.13/23.84 c 260 1075 143699 5374 0 0 12 12 6 180.93/23.98 c 2122 7251 983323 40689 0 0 8 15 13 181.80/24.03 c 2431 8411 1141733 47343 0 0 10 15 13 182.59/24.19 c 260 1052 135489 4998 0 0 14 14 7 184.92/24.43 c 262 1067 139109 5066 0 0 13 13 6 184.92/24.44 c 259 1050 145342 5281 0 0 13 13 6 184.92/24.45 c 2431 8343 1121111 46514 0 0 9 15 13 185.72/24.56 c 2122 7302 965653 40434 0 0 11 15 13 188.92/24.94 c 261 1087 145304 5397 0 0 12 12 6 192.11/25.38 c 261 1066 137115 5021 0 0 14 14 7 193.71/25.50 c 260 1063 147052 5311 0 0 13 13 6 193.71/25.52 c 263 1080 140728 5096 0 0 13 13 6 197.77/26.07 c 262 1099 146841 5418 0 0 12 12 6 199.29/26.20 c 2431 8273 1123644 46362 0 0 7 15 13 200.09/26.32 c 2770 9569 1298605 53869 0 0 8 15 13 200.89/26.49 c 261 1076 148767 5341 0 0 13 13 6 200.89/26.50 c 262 1080 138757 5052 0 0 14 14 7 202.51/26.62 c 264 1093 142290 5123 0 0 13 13 6 203.30/26.73 c 2770 9515 1275651 53030 0 0 8 15 13 204.09/26.89 c 2431 8403 1108551 46406 0 0 9 15 13 206.55/27.18 c 263 1111 148446 5441 0 0 12 12 6 209.68/27.52 c 262 1089 150479 5371 0 0 13 13 6 211.28/27.75 c 265 1106 143858 5150 0 0 13 13 6 211.28/27.77 c 263 1094 140383 5075 0 0 14 14 7 214.54/28.20 c 264 1123 149983 5462 0 0 12 12 6 216.86/28.44 c 2770 9438 1285700 52844 0 0 10 15 13 218.47/28.66 c 263 1102 152189 5401 0 0 13 13 6 219.26/28.78 c 3142 10874 1475332 61230 0 0 10 15 13 220.06/28.86 c 266 1119 145420 5177 0 0 13 13 6 220.86/28.98 c 264 1108 142044 5107 0 0 14 14 7 221.72/29.04 c 3142 10788 1445449 60179 0 0 9 15 13 223.25/29.20 c 265 1135 151588 5485 0 0 12 12 6 224.04/29.31 c 2770 9558 1260089 52864 0 0 8 15 13 226.45/29.66 c 264 1115 153821 5424 0 0 13 13 6 228.84/29.96 c 267 1132 146988 5204 0 0 13 13 6 231.23/30.22 c 266 1147 153125 5506 0 0 12 12 6 231.23/30.23 c 265 1122 143670 5130 0 0 14 14 7 235.23/30.72 c 265 1128 155536 5454 0 0 13 13 6 236.03/30.87 c 3142 10694 1457546 59893 0 0 6 15 13 237.69/31.07 c 268 1145 148550 5231 0 0 13 13 6 239.22/31.24 c 267 1159 154730 5529 0 0 12 12 6 240.81/31.45 c 266 1136 145334 5167 0 0 14 14 7 241.61/31.57 c 3551 12308 1673117 69444 0 0 5 15 13 242.42/31.61 c 3551 12182 1638056 68167 0 0 9 15 13 243.21/31.77 c 266 1141 157168 5477 0 0 13 13 6 244.81/31.95 c 3142 10842 1427228 60003 0 0 8 15 13 246.47/32.18 c 269 1158 150118 5258 0 0 13 13 6 247.20/32.26 c 268 1171 156267 5550 0 0 12 12 6 251.20/32.74 c 267 1150 146960 5190 0 0 14 14 7 252.00/32.82 c 267 1154 158878 5507 0 0 13 13 6 255.19/33.29 c 269 1183 157872 5573 0 0 12 12 6 255.98/33.30 c 270 1171 151680 5285 0 0 13 13 6 256.78/33.47 c 3551 12092 1650245 67764 0 0 6 15 13 259.98/33.81 c 268 1167 160510 5530 0 0 13 13 6 260.78/33.97 c 268 1164 148621 5222 0 0 14 14 7 263.17/34.29 c 270 1196 159519 5596 0 0 13 13 6 263.97/34.35 c 4000 13881 1884397 78131 0 0 9 15 13 264.77/34.40 c 271 1184 153248 5312 0 0 13 13 6 264.77/34.41 c 4000 13679 1838508 76442 0 0 7 15 13 267.97/34.84 c 269 1180 162225 5560 0 0 13 13 6 267.97/34.87 c 3551 12301 1615876 67956 0 0 6 15 13 271.16/35.22 c 269 1178 150247 5245 0 0 14 14 7 271.16/35.30 c 271 1208 161124 5619 0 0 12 12 6 275.95/35.89 c 270 1193 163857 5583 0 0 13 13 6 279.14/36.23 c 4000 13622 1861851 76367 0 0 7 15 13 279.94/36.30 c 512 2013 262375 9908 0 0 6 15 13 280.74/36.46 c 270 1192 151911 5282 0 0 14 14 7 284.75/36.91 c 271 1206 165567 5613 0 0 13 13 6 286.41/37.17 c 512 2035 270168 10260 0 0 9 15 13 287.93/37.32 c 4493 15404 2064976 85975 0 0 8 15 13 287.93/37.33 c 4493 15619 2119740 87985 0 0 8 15 13 287.93/37.34 c 513 2026 263923 9932 0 0 13 13 6 291.12/37.70 c 271 1206 153537 5305 0 0 14 14 7 291.93/37.85 c 4000 13833 1816688 76587 0 0 7 15 13 295.12/38.28 c 513 2048 271806 10292 0 0 13 13 6 296.71/38.45 c 514 2039 265452 9963 0 0 13 13 6 298.31/38.65 c 512 2018 273945 10168 0 0 9 15 13 300.70/38.96 c 4493 15369 2101799 86071 0 0 10 15 13 304.69/39.42 c 514 2061 273451 10324 0 0 13 13 6 305.49/39.51 c 515 2052 267000 9987 0 0 13 13 6 307.09/39.76 c 513 2031 275561 10191 0 0 13 13 6 307.89/39.85 c 512 2040 264179 9870 0 0 7 15 13 311.08/40.29 c 5035 17193 2306974 96173 0 0 8 15 13 311.88/40.34 c 5035 17469 2368866 98262 0 0 9 15 13 312.68/40.49 c 515 2074 275089 10356 0 0 13 13 6 313.48/40.54 c 516 2065 268529 10018 0 0 13 13 6 316.68/40.90 c 514 2044 277177 10214 0 0 13 13 6 316.68/40.97 c 4493 15577 2043335 86260 0 0 9 15 13 317.54/41.03 c 513 2054 266044 9904 0 0 14 14 7 321.47/41.56 c 517 2078 270077 10042 0 0 13 13 6 321.47/41.58 c 516 2087 276730 10388 0 0 13 13 6 324.66/41.98 c 5035 17230 2353303 96508 0 0 7 15 13 325.53/42.08 c 515 2057 278776 10237 0 0 13 13 6 326.32/42.17 c 514 2068 267909 9938 0 0 14 14 7 329.46/42.58 c 518 2091 271606 10073 0 0 13 13 6 330.26/42.66 c 517 2100 278368 10420 0 0 13 13 6 335.04/43.20 c 516 2070 280383 10260 0 0 13 13 6 335.04/43.25 c 515 2082 269774 9972 0 0 14 14 7 337.44/43.60 c 519 2104 273154 10097 0 0 13 13 6 338.24/43.65 c 5631 19517 2647448 109878 0 0 8 15 13 338.24/43.68 c 518 2113 280009 10452 0 0 13 13 6 339.83/43.88 c 5631 19219 2578505 107568 0 0 9 15 13 343.02/44.21 c 517 2083 281999 10283 0 0 13 13 6 343.02/44.29 c 516 2096 271639 10006 0 0 14 14 7 343.82/44.30 c 5035 17485 2292033 96963 0 0 5 15 13 346.23/44.61 c 520 2117 274683 10128 0 0 13 13 6 346.23/44.69 c 519 2126 281647 10484 0 0 13 13 6 351.01/45.27 c 5631 19326 2639498 108057 0 0 6 15 13 351.81/45.33 c 517 2110 273504 10040 0 0 14 14 7 351.81/45.33 c 518 2096 283615 10306 0 0 13 13 6 354.21/45.63 c 521 2130 276231 10152 0 0 13 13 6 355.01/45.72 c 520 2139 283288 10516 0 0 13 13 6 359.79/46.37 c 518 2124 275369 10074 0 0 14 14 7 360.59/46.43 c 519 2109 285214 10329 0 0 13 13 6 362.20/46.65 c 522 2143 277865 10184 0 0 13 13 6 362.99/46.73 c 521 2152 284926 10548 0 0 13 13 6 366.25/47.19 c 6286 21498 2883878 120179 0 0 9 15 13 367.78/47.38 c 519 2138 277234 10108 0 0 14 14 7 369.38/47.52 c 6286 21805 2954399 122570 0 0 8 15 13 369.38/47.53 c 520 2122 286821 10352 0 0 13 13 6 370.98/47.74 c 523 2156 279413 10208 0 0 13 13 6 370.98/47.76 c 522 2165 286644 10578 0 0 13 13 6 371.78/47.86 c 5631 19557 2564934 108469 0 0 9 15 13 376.56/48.46 c 520 2152 279109 10145 0 0 14 14 7 377.36/48.56 c 521 2135 288437 10375 0 0 13 13 6 378.96/48.76 c 524 2169 281047 10240 0 0 13 13 6 379.76/48.88 c 523 2178 288362 10608 0 0 13 13 6 381.43/49.06 c 6286 21612 2955319 120766 0 0 5 15 13 384.55/49.47 c 521 2166 280974 10179 0 0 14 14 7 386.16/49.69 c 522 2148 290053 10398 0 0 13 13 6 386.95/49.78 c 525 2182 282595 10264 0 0 13 13 6 388.55/49.91 c 524 2191 290003 10640 0 0 13 13 6 392.53/50.48 c 522 2180 282833 10213 0 0 14 14 7 394.93/50.74 c 7006 23944 3207381 133935 0 0 8 15 13 394.93/50.79 c 526 2195 284229 10296 0 0 13 13 6 395.73/50.81 c 523 2161 291652 10421 0 0 13 13 6 396.53/50.96 c 525 2204 291641 10672 0 0 13 13 6 397.40/51.11 c 7006 24262 3285345 136367 0 0 8 15 13 401.32/51.57 c 523 2194 284708 10250 0 0 14 14 7 402.92/51.79 c 527 2208 285777 10320 0 0 13 13 6 404.52/51.91 c 524 2174 293259 10444 0 0 13 13 6 404.52/51.98 c 526 2217 293359 10702 0 0 13 13 6 405.38/52.06 c 6286 21825 2861255 121189 0 0 9 15 13 409.30/52.59 c 524 2208 286567 10284 0 0 14 14 7 411.70/52.81 c 528 2221 287411 10352 0 0 13 13 6 412.50/52.93 c 7006 24064 3295299 134624 0 0 8 15 13 412.50/52.94 c 525 2187 294875 10467 0 0 13 13 6 413.37/53.05 c 527 2230 295077 10732 0 0 13 13 6 418.09/53.61 c 525 2222 288432 10318 0 0 14 14 7 419.68/53.81 c 529 2234 288959 10376 0 0 13 13 6 421.35/54.07 c 526 2200 296491 10490 0 0 13 13 6 421.35/54.08 c 528 2243 296718 10764 0 0 13 13 6 426.08/54.64 c 526 2236 290301 10355 0 0 14 14 7 427.67/54.81 c 530 2247 290593 10408 0 0 13 13 6 428.47/54.90 c 7798 26710 3576078 149174 0 0 6 15 13 429.33/55.04 c 7798 26983 3646678 151620 0 0 7 15 13 430.13/55.12 c 529 2256 298356 10796 0 0 13 13 6 430.13/55.16 c 527 2213 298090 10513 0 0 13 13 6 434.06/55.67 c 527 2250 292166 10389 0 0 14 14 7 434.86/55.79 c 531 2260 292141 10432 0 0 13 13 6 438.12/56.13 c 530 2269 300074 10826 0 0 13 13 6 438.12/56.14 c 7006 24273 3179617 135058 0 0 9 15 13 438.84/56.24 c 528 2226 299697 10536 0 0 13 13 6 442.84/56.71 c 528 2264 294025 10423 0 0 14 14 7 442.84/56.78 c 532 2273 293775 10464 0 0 13 13 6 446.10/57.19 c 531 2282 301792 10856 0 0 13 13 6 446.83/57.21 c 7798 26811 3673230 150045 0 0 7 15 13 446.83/57.28 c 529 2239 301313 10559 0 0 13 13 6 450.83/57.73 c 529 2278 295900 10460 0 0 14 14 7 450.83/57.75 c 533 2286 295323 10488 0 0 13 13 6 454.82/58.21 c 532 2295 303510 10886 0 0 13 13 6 455.62/58.38 c 530 2252 302929 10582 0 0 13 13 6 458.81/58.74 c 534 2299 296957 10520 0 0 13 13 6 458.81/58.76 c 530 2292 297759 10494 0 0 14 14 7 461.27/59.06 c 8669 29674 3976660 165723 0 0 8 15 13 462.80/59.23 c 533 2308 305228 10916 0 0 13 13 6 464.40/59.48 c 531 2265 304528 10605 0 0 13 13 6 466.79/59.72 c 535 2312 298505 10544 0 0 13 13 6 466.79/59.76 c 8669 29945 4044524 168231 0 0 6 15 13 466.79/59.79 c 531 2306 299624 10528 0 0 14 14 7 470.78/60.23 c 534 2321 306869 10948 0 0 13 13 6 473.17/60.56 c 532 2278 306135 10628 0 0 13 13 6 474.77/60.71 c 536 2325 300139 10576 0 0 13 13 6 474.77/60.76 c 7798 27002 3537419 150284 0 0 4 15 13 475.57/60.86 c 532 2320 301493 10565 0 0 14 14 7 478.75/61.27 c 535 2334 308507 10980 0 0 13 13 6 481.15/61.59 c 533 2291 307751 10651 0 0 13 13 6 481.96/61.60 c 8669 29809 4085439 166900 0 0 9 15 13 482.75/61.71 c 537 2338 301687 10600 0 0 13 13 6 483.55/61.87 c 533 2334 303358 10599 0 0 14 14 7 486.74/62.28 c 536 2347 310225 11010 0 0 13 13 6 490.74/62.72 c 538 2351 303321 10632 0 0 13 13 6 490.74/62.72 c 534 2304 309367 10674 0 0 13 13 6 492.33/62.92 c 534 2348 305217 10633 0 0 14 14 7 495.52/63.34 c 537 2360 311943 11040 0 0 13 13 6 498.72/63.70 c 539 2364 304869 10656 0 0 13 13 6 499.52/63.83 c 535 2317 310966 10697 0 0 13 13 6 500.32/63.90 c 9627 32949 4408490 183929 0 0 7 15 13 500.32/63.94 c 535 2362 307092 10670 0 0 14 14 7 503.51/64.34 c 538 2373 313661 11070 0 0 13 13 6 504.31/64.42 c 9627 33248 4482251 186701 0 0 7 15 13 505.91/64.69 c 540 2377 306503 10688 0 0 13 13 6 507.51/64.90 c 536 2330 312573 10720 0 0 13 13 6 508.31/64.99 c 536 2376 308951 10704 0 0 14 14 7 511.49/65.35 c 539 2386 315379 11100 0 0 13 13 6 513.89/65.66 c 541 2390 308051 10712 0 0 13 13 6 514.69/65.71 c 8669 30057 3935154 167126 0 0 7 15 13 516.29/65.90 c 537 2343 314189 10743 0 0 13 13 6 516.29/66.00 c 537 2390 310816 10738 0 0 14 14 7 518.68/66.23 c 9627 33126 4538785 185582 0 0 8 15 13 519.48/66.36 c 540 2399 317020 11132 0 0 13 13 6 521.88/66.66 c 542 2403 309685 10744 0 0 13 13 6 525.14/67.01 c 538 2356 315805 10766 0 0 13 13 6 525.14/67.03 c 538 2404 312685 10775 0 0 14 14 7 527.47/67.39 c 541 2412 318658 11164 0 0 13 13 6 529.86/67.64 c 543 2416 311233 10768 0 0 13 13 6 533.13/68.05 c 539 2418 314550 10809 0 0 14 14 7 533.13/68.09 c 539 2369 317404 10789 0 0 13 13 6 536.24/68.40 c 542 2425 320376 11194 0 0 13 13 6 538.64/68.79 c 10680 36550 4886204 204004 0 0 7 15 13 541.11/69.07 c 540 2432 316409 10843 0 0 14 14 7 541.91/69.16 c 540 2382 319011 10812 0 0 13 13 6 544.23/69.41 c 10680 36844 4956699 206791 0 0 7 15 13 544.23/69.42 c 543 2438 322094 11224 0 0 13 13 6 549.89/70.12 c 541 2446 318284 10880 0 0 14 14 7 549.89/70.16 c 541 2395 320627 10835 0 0 13 13 6 549.89/70.19 c 1024 4015 525732 19660 0 0 9 15 13 553.81/70.64 c 9627 33376 4368795 185652 0 0 7 15 13 557.88/71.16 c 542 2460 320143 10914 0 0 14 14 7 558.60/71.21 c 1025 4028 527400 19685 0 0 13 13 6 558.60/71.25 c 542 2408 322323 10865 0 0 13 13 6 559.40/71.36 c 10680 36759 5043068 205973 0 0 8 15 13 566.58/72.20 c 543 2474 322008 10948 0 0 14 14 7 567.38/72.34 c 1024 4060 535580 20470 0 0 10 15 13 567.38/72.35 c 1026 4041 529062 19710 0 0 13 13 6 567.38/72.36 c 543 2421 323922 10888 0 0 13 13 6 576.17/73.45 c 1025 4073 537237 20502 0 0 13 13 6 576.17/73.46 c 1027 4054 530730 19735 0 0 13 13 6 583.36/74.32 c 11838 40520 5422358 226081 0 0 5 15 13 584.96/74.54 c 1026 4086 538897 20534 0 0 13 13 6 584.96/74.55 c 1028 4067 532392 19760 0 0 13 13 6 589.02/75.05 c 1024 4204 550452 20348 0 0 8 15 13 589.02/75.11 c 1024 4057 540667 20052 0 0 10 15 13 593.74/75.60 c 1027 4099 540554 20566 0 0 13 13 6 593.74/75.64 c 1029 4080 534060 19785 0 0 13 13 6 593.74/75.68 c 11838 40762 5508225 228980 0 0 8 15 13 597.01/76.08 c 10680 36972 4839387 205653 0 0 8 15 13 597.80/76.13 c 1025 4070 542283 20075 0 0 13 13 6 597.80/76.18 c 1025 4219 552240 20388 0 0 15 15 7 601.73/76.63 c 1028 4112 542214 20598 0 0 13 13 6 602.53/76.75 c 11838 40744 5591028 228461 0 0 6 15 13 602.53/76.75 c 1030 4093 535722 19810 0 0 13 13 6 606.52/77.27 c 1026 4083 544005 20101 0 0 13 13 6 607.31/77.36 c 1026 4234 553992 20419 0 0 15 15 7 609.71/77.64 c 1029 4125 543871 20630 0 0 13 13 6 611.31/77.86 c 1031 4106 537390 19835 0 0 13 13 6 615.30/78.37 c 1027 4096 545621 20124 0 0 13 13 6 616.12/78.49 c 1027 4249 555780 20459 0 0 15 15 7 617.69/78.66 c 1030 4138 545531 20662 0 0 13 13 6 620.09/78.96 c 1032 4119 539052 19860 0 0 13 13 6 624.08/79.49 c 1028 4109 547343 20150 0 0 13 13 6 624.88/79.55 c 1028 4264 557532 20490 0 0 15 15 7 625.68/79.67 c 1031 4151 547188 20694 0 0 13 13 6 628.08/79.99 c 13111 44900 6003035 250417 0 0 6 15 13 628.95/80.07 c 1033 4132 540720 19885 0 0 13 13 6 633.67/80.60 c 1029 4122 548959 20173 0 0 13 13 6 633.67/80.68 c 1029 4279 559320 20530 0 0 15 15 7 634.47/80.70 c 1032 4164 548848 20726 0 0 13 13 6 637.73/81.16 c 1034 4145 542382 19910 0 0 13 13 6 642.45/81.71 c 1033 4177 550505 20758 0 0 13 13 6 642.45/81.73 c 1030 4135 550681 20199 0 0 13 13 6 642.45/81.76 c 1030 4294 561079 20560 0 0 15 15 7 643.25/81.86 c 13111 45138 6089035 253602 0 0 7 15 13 646.44/82.26 c 1035 4158 544050 19935 0 0 13 13 6 647.24/82.31 c 11838 40957 5358125 228007 0 0 7 15 13 650.43/82.73 c 1034 4190 552165 20790 0 0 13 13 6 651.23/82.83 c 1031 4148 552297 20222 0 0 13 13 6 651.23/82.89 c 1031 4309 562867 20600 0 0 15 15 7 652.03/82.93 c 13111 45188 6205096 253497 0 0 8 15 13 655.22/83.38 c 1036 4171 545712 19960 0 0 13 13 6 658.42/83.74 c 1035 4203 553822 20822 0 0 13 13 6 660.02/83.95 c 1032 4161 554019 20248 0 0 13 13 6 660.88/84.02 c 1032 4324 564626 20630 0 0 15 15 7 664.01/84.48 c 1037 4184 547380 19985 0 0 13 13 6 666.41/84.76 c 1036 4216 555469 20845 0 0 13 13 6 668.87/85.04 c 1033 4174 555635 20271 0 0 13 13 6 669.67/85.11 c 1033 4339 566421 20669 0 0 15 15 7 672.79/85.58 c 1038 4197 549079 20020 0 0 13 13 6 674.39/85.77 c 1037 4229 557126 20877 0 0 13 13 6 677.65/86.15 c 1034 4187 557357 20297 0 0 13 13 6 677.65/86.19 c 1034 4354 568180 20699 0 0 15 15 7 679.18/86.30 c 14511 49686 6643559 277096 0 0 7 15 13 681.58/86.68 c 1039 4210 550747 20045 0 0 13 13 6 682.38/86.79 c 1038 4242 558773 20900 0 0 13 13 6 686.37/87.23 c 1035 4200 558973 20320 0 0 13 13 6 687.17/87.32 c 1035 4369 569981 20735 0 0 15 15 7 690.37/87.78 c 1040 4223 552446 20080 0 0 13 13 6 690.37/87.79 c 1039 4255 560430 20932 0 0 13 13 6 695.16/88.33 c 1036 4213 560695 20346 0 0 13 13 6 695.99/88.45 c 14511 49974 6734315 280680 0 0 8 15 13 695.99/88.49 c 1036 4384 571740 20765 0 0 15 15 7 697.55/88.68 c 13111 45339 5928272 252610 0 0 7 15 13 699.15/88.80 c 1040 4268 562077 20955 0 0 13 13 6 699.15/88.88 c 1041 4236 554114 20105 0 0 13 13 6 703.94/89.43 c 1037 4226 562311 20369 0 0 13 13 6 705.54/89.62 c 1037 4399 573541 20801 0 0 15 15 7 705.54/89.67 c 14511 50048 6876898 280808 0 0 6 15 13 707.13/89.83 c 1041 4281 563734 20987 0 0 13 13 6 707.93/89.99 c 1042 4249 555813 20140 0 0 13 13 6 712.72/90.54 c 1038 4239 564033 20395 0 0 13 13 6 714.31/90.78 c 1038 4414 575300 20831 0 0 15 15 7 715.11/90.85 c 1042 4294 565381 21010 0 0 13 13 6 717.57/91.11 c 1043 4262 557481 20165 0 0 13 13 6 721.50/91.65 c 1039 4252 565649 20418 0 0 13 13 6 723.09/91.83 c 1043 4307 567038 21042 0 0 13 13 6 723.89/91.92 c 1039 4429 577101 20867 0 0 15 15 7 725.55/92.20 c 1044 4275 559180 20200 0 0 13 13 6 730.28/92.76 c 1040 4265 567371 20444 0 0 13 13 6 731.07/92.82 c 1044 4320 568685 21065 0 0 13 13 6 732.74/93.06 c 1040 4444 578860 20897 0 0 15 15 7 734.26/93.29 c 1045 4288 560848 20225 0 0 13 13 6 738.26/93.78 c 16051 54998 7352673 306566 0 0 7 15 13 738.26/93.79 c 1045 4333 570342 21097 0 0 13 13 6 739.06/93.86 c 1041 4278 568987 20467 0 0 13 13 6 742.25/94.22 c 1041 4459 580661 20933 0 0 15 15 7 743.05/94.37 c 1046 4301 562547 20260 0 0 13 13 6 746.25/94.78 c 1046 4346 571989 21120 0 0 13 13 6 747.85/94.97 c 1042 4291 570709 20493 0 0 13 13 6 751.03/95.37 c 1042 4474 582420 20963 0 0 15 15 7 751.83/95.47 c 1047 4314 564215 20285 0 0 13 13 6 754.23/95.73 c 16051 55324 7448321 310590 0 0 6 15 13 754.23/95.76 c 1047 4359 573646 21152 0 0 13 13 6 755.03/95.81 c 14511 50171 6561683 279421 0 0 6 15 13 756.70/96.07 c 1043 4304 572325 20516 0 0 13 13 6 760.62/96.53 c 1043 4489 584221 20999 0 0 15 15 7 760.62/96.57 c 1048 4327 565914 20320 0 0 13 13 6 762.21/96.75 c 1048 4372 575293 21175 0 0 13 13 6 765.48/97.19 c 1044 4317 574047 20542 0 0 13 13 6 767.80/97.46 c 16051 55329 7607092 310503 0 0 6 15 13 769.40/97.68 c 1049 4340 567619 20355 0 0 13 13 6 769.40/97.69 c 1044 4504 585980 21029 0 0 15 15 7 770.20/97.74 c 1049 4385 576950 21207 0 0 13 13 6 774.19/98.29 c 1045 4330 575663 20565 0 0 13 13 6 778.18/98.74 c 1050 4398 578597 21230 0 0 13 13 6 778.18/98.79 c 1050 4353 569318 20390 0 0 13 13 6 778.98/98.84 c 1045 4519 587781 21065 0 0 15 15 7 783.77/99.40 c 1046 4343 577385 20591 0 0 13 13 6 786.17/99.72 c 1051 4411 580254 21262 0 0 13 13 6 786.97/99.89 c 1051 4366 571023 20425 0 0 13 13 6 787.77/99.97 c 1046 4534 589540 21095 0 0 15 15 7 792.55/100.50 c 1047 4356 579001 20614 0 0 13 13 6 794.15/100.71 c 1052 4424 581901 21285 0 0 13 13 6 795.75/101.00 c 1052 4379 572722 20460 0 0 13 13 6 797.40/101.12 c 1047 4549 591336 21131 0 0 15 15 7 800.52/101.54 c 17745 60814 8132283 338937 0 0 3 15 13 801.32/101.62 c 1048 4369 580723 20640 0 0 13 13 6 802.12/101.72 c 1053 4437 583558 21317 0 0 13 13 6 805.39/102.13 c 1053 4392 574427 20495 0 0 13 13 6 807.71/102.46 c 1048 4564 593154 21172 0 0 15 15 7 809.30/102.69 c 1049 4382 582339 20663 0 0 13 13 6 810.10/102.72 c 1054 4450 585205 21340 0 0 13 13 6 814.09/103.25 c 1054 4405 576126 20530 0 0 13 13 6 815.69/103.40 c 17745 61182 8221782 343569 0 0 4 15 13 817.29/103.69 c 1049 4579 594972 21213 0 0 15 15 7 818.09/103.71 c 1055 4463 586862 21372 0 0 13 13 6 818.09/103.76 c 1050 4395 584061 20689 0 0 13 13 6 822.88/104.37 c 1055 4418 577831 20565 0 0 13 13 6 826.08/104.71 c 1056 4476 588509 21395 0 0 13 13 6 826.88/104.84 c 1051 4408 585677 20712 0 0 13 13 6 826.88/104.88 c 1050 4594 596790 21254 0 0 15 15 7 829.34/105.18 c 16051 55540 7272299 309235 0 0 6 15 13 832.45/105.51 c 1056 4431 579530 20600 0 0 13 13 6 834.05/105.70 c 1057 4489 590166 21427 0 0 13 13 6 834.05/105.72 c 17745 61176 8411601 343330 0 0 6 15 13 835.65/105.91 c 1052 4421 587399 20738 0 0 13 13 6 836.51/106.03 c 1051 4609 598608 21295 0 0 15 15 7 841.24/106.65 c 1057 4444 581235 20635 0 0 13 13 6 842.03/106.71 c 1058 4502 591813 21450 0 0 13 13 6 843.63/106.98 c 1053 4434 589015 20761 0 0 13 13 6 846.02/107.20 c 1052 4624 600426 21336 0 0 15 15 7 850.02/107.70 c 1059 4515 593470 21482 0 0 13 13 6 850.02/107.79 c 1058 4457 582941 20670 0 0 13 13 6 852.48/108.06 c 1054 4447 590737 20787 0 0 13 13 6 854.81/108.34 c 1053 4639 602244 21377 0 0 15 15 7 858.00/108.70 c 1060 4528 595117 21505 0 0 13 13 6 860.46/109.05 c 1059 4470 584646 20705 0 0 13 13 6 861.26/109.13 c 1055 4460 592353 20810 0 0 13 13 6 864.38/109.52 c 1054 4654 604062 21418 0 0 15 15 7 865.18/109.68 c 1061 4541 596774 21537 0 0 13 13 6 869.97/110.22 c 1056 4473 594075 20836 0 0 13 13 6 869.97/110.25 c 1060 4483 586352 20740 0 0 13 13 6 873.17/110.69 c 1055 4669 605880 21459 0 0 15 15 7 873.17/110.69 c 1062 4554 598421 21560 0 0 13 13 6 877.23/111.16 c 19608 67126 8988540 374088 0 0 6 15 13 877.95/111.29 c 1057 4486 595691 20859 0 0 13 13 6 878.82/111.35 c 19608 67582 9067456 379154 0 0 7 15 13 879.55/111.46 c 1061 4496 588057 20775 0 0 13 13 6 881.95/111.71 c 1063 4567 600078 21592 0 0 13 13 6 882.75/111.88 c 1056 4684 607698 21500 0 0 15 15 7 886.73/112.36 c 1058 4499 597413 20885 0 0 13 13 6 889.14/112.65 c 1062 4509 589763 20810 0 0 13 13 6 889.93/112.72 c 1064 4580 601725 21615 0 0 13 13 6 892.40/113.04 c 1057 4699 609516 21541 0 0 15 15 7 895.52/113.43 c 1059 4512 599029 20908 0 0 13 13 6 897.92/113.72 c 1065 4593 603382 21647 0 0 13 13 6 898.72/113.87 c 1063 4522 591468 20845 0 0 13 13 6 901.91/114.21 c 1058 4714 611334 21582 0 0 15 15 7 903.51/114.44 c 19608 67588 9295725 379379 0 0 8 15 13 904.31/114.50 c 1060 4525 600751 20934 0 0 13 13 6 905.90/114.72 c 1066 4606 605029 21670 0 0 13 13 6 906.70/114.83 c 17745 61487 8046051 342140 0 0 6 15 13 908.37/115.05 c 1064 4535 593174 20880 0 0 13 13 6 910.69/115.39 c 1059 4729 613152 21623 0 0 15 15 7 912.29/115.58 c 1061 4538 602367 20957 0 0 13 13 6 913.89/115.72 c 1067 4619 606686 21702 0 0 13 13 6 917.88/116.27 c 1065 4548 594879 20915 0 0 13 13 6 920.28/116.56 c 1060 4744 614970 21664 0 0 15 15 7 921.08/116.67 c 1062 4551 604089 20983 0 0 13 13 6 921.87/116.74 c 1068 4632 608333 21725 0 0 13 13 6 927.46/117.45 c 1066 4561 596585 20950 0 0 13 13 6 929.07/117.69 c 1061 4759 616788 21705 0 0 15 15 7 929.86/117.74 c 1069 4645 609990 21757 0 0 13 13 6 929.86/117.75 c 1063 4564 605705 21006 0 0 13 13 6 937.05/118.66 c 1067 4574 598290 20985 0 0 13 13 6 937.84/118.76 c 1070 4658 611637 21780 0 0 13 13 6 938.64/118.84 c 1064 4577 607427 21032 0 0 13 13 6 938.64/118.85 c 1062 4774 618606 21746 0 0 15 15 7 945.83/119.76 c 1071 4671 613294 21812 0 0 13 13 6 946.63/119.82 c 21657 74301 9930865 413645 0 0 4 15 13 946.63/119.86 c 1068 4587 599996 21020 0 0 13 13 6 947.42/119.92 c 1065 4590 609043 21055 0 0 13 13 6 947.42/119.99 c 1063 4789 620424 21787 0 0 15 15 7 949.09/120.12 c 21657 74752 10012843 418801 0 0 7 15 13 953.81/120.77 c 1072 4684 614941 21835 0 0 13 13 6 955.41/121.00 c 1066 4603 610762 21081 0 0 13 13 6 956.28/121.07 c 1069 4600 601701 21055 0 0 13 13 6 957.07/121.20 c 1064 4804 622242 21828 0 0 15 15 7 961.79/121.77 c 1073 4697 616598 21867 0 0 13 13 6 965.05/122.16 c 1067 4616 612378 21104 0 0 13 13 6 965.77/122.26 c 1070 4613 603407 21090 0 0 13 13 6 966.57/122.34 c 1065 4819 624060 21869 0 0 15 15 7 969.77/122.76 c 1074 4710 618245 21890 0 0 13 13 6 973.77/123.24 c 1068 4629 614193 21143 0 0 13 13 6 975.37/123.47 c 1071 4626 605112 21125 0 0 13 13 6 975.37/123.49 c 1066 4834 625878 21910 0 0 15 15 7 977.77/123.70 c 21657 74591 10260972 418863 0 0 6 15 13 977.77/123.77 c 1075 4723 619902 21922 0 0 13 13 6 982.55/124.34 c 1069 4642 615809 21166 0 0 13 13 6 984.96/124.66 c 1072 4639 606818 21160 0 0 13 13 6 984.96/124.68 c 1067 4849 627696 21951 0 0 15 15 7 985.75/124.77 c 1076 4736 621549 21945 0 0 13 13 6 991.34/125.41 c 1070 4655 617624 21205 0 0 13 13 6 992.14/125.59 c 19608 68030 8906569 378329 0 0 6 15 13 993.74/125.78 c 1077 4749 623206 21977 0 0 13 13 6 994.54/125.84 c 1068 4864 629514 21992 0 0 15 15 7 994.54/125.87 c 1073 4652 608523 21195 0 0 13 13 6 999.32/126.49 c 1071 4668 619240 21228 0 0 13 13 6 1001.72/126.79 c 1078 4762 624853 22000 0 0 13 13 6 1004.19/127.02 c 1069 4879 631332 22033 0 0 15 15 7 1004.19/127.05 c 1074 4665 610229 21230 0 0 13 13 6 1008.11/127.56 c 1072 4681 621055 21267 0 0 13 13 6 1009.71/127.77 c 1079 4775 626510 22032 0 0 13 13 6 1013.69/128.20 c 1070 4894 633150 22074 0 0 15 15 7 1013.69/128.23 c 1075 4678 611934 21265 0 0 13 13 6 1016.90/128.61 c 1073 4694 622671 21290 0 0 13 13 6 1017.69/128.77 c 1080 4788 628157 22055 0 0 13 13 6 1022.48/129.36 c 1071 4909 634968 22115 0 0 15 15 7 1023.28/129.40 c 1076 4691 613640 21300 0 0 13 13 6 1024.88/129.69 c 1074 4707 624486 21329 0 0 13 13 6 1025.68/129.77 c 1081 4801 629814 22087 0 0 13 13 6 1025.68/129.77 c 23910 82543 11050678 461939 0 0 8 15 13 1026.47/129.85 c 23910 82045 10960279 456301 0 0 6 15 13 1032.06/130.56 c 1072 4924 636786 22156 0 0 15 15 7 1032.86/130.61 c 1077 4704 615169 21321 0 0 13 13 6 1033.65/130.77 c 1075 4720 626102 21352 0 0 13 13 6 1033.65/130.78 c 1082 4814 631461 22110 0 0 13 13 6 1041.64/131.72 c 1073 4939 638604 22197 0 0 15 15 7 1041.64/131.79 c 1083 4827 633118 22142 0 0 13 13 6 1041.64/131.80 c 1078 4716 616647 21343 0 0 12 12 6 1042.44/131.85 c 1076 4733 627917 21391 0 0 13 13 6 1049.61/132.79 c 1084 4840 634765 22165 0 0 13 13 6 1051.22/132.91 c 1074 4954 640422 22238 0 0 15 15 7 1051.22/132.92 c 1079 4729 618352 21378 0 0 13 13 6 1051.22/132.92 c 1077 4746 629533 21414 0 0 13 13 6 1057.61/133.78 c 1085 4853 636422 22197 0 0 13 13 6 1059.20/134.00 c 1078 4759 631348 21453 0 0 13 13 6 1060.07/134.07 c 1075 4969 642240 22279 0 0 15 15 7 1060.87/134.11 c 1080 4742 619881 21399 0 0 13 13 6 1060.87/134.16 c 23910 82286 11326268 462275 0 0 7 15 13 1065.59/134.77 c 1086 4866 638069 22220 0 0 13 13 6 1068.05/135.07 c 1079 4772 632964 21476 0 0 13 13 6 1069.58/135.27 c 1081 4754 621359 21421 0 0 12 12 6 1069.58/135.27 c 1076 4984 644058 22320 0 0 15 15 7 1073.58/135.71 c 21657 75072 9817360 417662 0 0 6 15 13 1073.58/135.75 c 1087 4879 639726 22252 0 0 13 13 6 1076.84/136.14 c 1080 4785 634779 21515 0 0 13 13 6 1079.16/136.41 c 1077 4999 645876 22361 0 0 15 15 7 1079.16/136.43 c 1082 4767 622888 21442 0 0 13 13 6 1084.82/137.20 c 1081 4798 636395 21538 0 0 13 13 6 1087.94/137.52 c 1083 4779 624366 21464 0 0 12 12 6 1087.94/137.59 c 1078 5014 647694 22402 0 0 15 15 7 1093.55/138.25 c 1082 4811 638210 21577 0 0 13 13 6 1096.73/138.63 c 1084 4792 625895 21485 0 0 13 13 6 1097.52/138.75 c 1079 5029 649512 22443 0 0 15 15 7 1101.51/139.30 c 1083 4824 639826 21600 0 0 13 13 6 1105.51/139.72 c 1085 4804 627373 21507 0 0 12 12 6 1107.11/139.91 c 1080 5044 651330 22484 0 0 15 15 7 1109.50/140.27 c 26388 91118 12193517 509271 0 0 6 15 13 1110.30/140.36 c 1084 4837 641641 21639 0 0 13 13 6 1113.50/140.72 c 2048 8277 1094863 41315 0 0 9 15 13 1114.29/140.80 c 1086 4817 628902 21528 0 0 13 13 6 1115.96/141.09 c 1081 5059 653148 22525 0 0 15 15 7 1119.09/141.41 c 1085 4850 643257 21662 0 0 13 13 6 1122.29/141.82 c 2049 8290 1096446 41338 0 0 13 13 6 1123.09/141.92 c 1087 4829 630380 21550 0 0 12 12 6 1123.09/141.97 c 26388 90567 12142010 504144 0 0 7 15 13 1125.48/142.27 c 1082 5074 654966 22566 0 0 15 15 7 1127.08/142.48 c 1086 4863 645072 21701 0 0 13 13 6 1131.07/142.99 c 2050 8302 1097983 41359 0 0 12 12 6 1135.05/143.47 c 1083 5089 656784 22607 0 0 15 15 7 1135.85/143.53 c 1087 4876 646688 21724 0 0 13 13 6 1139.92/144.04 c 2051 8315 1099566 41382 0 0 13 13 6 1144.65/144.68 c 1084 5104 658602 22648 0 0 15 15 7 1147.90/145.02 c 2052 8327 1101103 41403 0 0 12 12 6 1154.22/145.87 c 1085 5119 660420 22689 0 0 15 15 7 1155.02/145.99 c 2053 8340 1102686 41426 0 0 13 13 6 1155.89/146.05 c 26388 90866 12515713 510768 0 0 6 15 13 1160.62/146.65 c 2048 8124 1071114 39943 0 0 5 15 13 1163.01/146.95 c 2054 8352 1104223 41447 0 0 12 12 6 1163.87/147.10 c 1086 5134 662238 22730 0 0 15 15 7 1167.00/147.45 c 23910 83057 10853315 461837 0 0 6 15 13 1169.39/147.75 c 2049 8137 1072782 39968 0 0 13 13 6 1170.99/147.93 c 2055 8365 1105806 41470 0 0 13 13 6 1173.38/148.29 c 1087 5149 664056 22771 0 0 15 15 7 1174.19/148.31 c 2048 8225 1095704 40369 0 0 9 15 13 1178.97/148.91 c 2050 8150 1074481 40003 0 0 13 13 6 1178.97/148.93 c 2056 8377 1107343 41491 0 0 12 12 6 1182.96/149.44 c 2049 8238 1097303 40392 0 0 13 13 6 1186.96/149.91 c 2057 8390 1108926 41514 0 0 13 13 6 1187.82/150.06 c 2051 8163 1076010 40024 0 0 13 13 6 1191.73/150.52 c 2050 8251 1098910 40415 0 0 13 13 6 1194.13/150.89 c 2058 8402 1110463 41535 0 0 12 12 6 1196.59/151.17 c 2052 8176 1077600 40065 0 0 13 13 6 1199.72/151.53 c 2051 8264 1100509 40438 0 0 13 13 6 1202.11/151.87 c 2059 8415 1112046 41558 0 0 13 13 6 1205.30/152.21 c 2053 8189 1079129 40086 0 0 13 13 6 1207.70/152.51 c 2052 8277 1102116 40461 0 0 13 13 6 1208.51/152.66 c 29113 100523 13451037 561958 0 0 3 15 13 1210.10/152.85 c 2060 8427 1113583 41579 0 0 12 12 6 1213.29/153.25 c 2054 8202 1080719 40127 0 0 13 13 6 1214.96/153.49 c 2048 8496 1108422 41286 0 0 7 15 13 1215.68/153.53 c 2053 8290 1103715 40484 0 0 13 13 6 1218.07/153.83 c 2061 8440 1115166 41602 0 0 13 13 6 1218.87/153.96 c 29113 99962 13386928 556263 0 0 4 15 13 1221.26/154.27 c 2055 8215 1082248 40148 0 0 13 13 6 1226.06/154.81 c 2062 8452 1116703 41623 0 0 12 12 6 1226.86/154.95 c 2054 8303 1105322 40507 0 0 13 13 6 1229.25/155.28 c 2049 8509 1109945 41308 0 0 13 13 6 1230.05/155.31 c 2056 8228 1083838 40189 0 0 13 13 6 1233.25/155.77 c 2063 8465 1118286 41646 0 0 13 13 6 1237.23/156.29 c 2055 8316 1106921 40530 0 0 13 13 6 1238.03/156.32 c 2057 8241 1085367 40210 0 0 13 13 6 1241.23/156.73 c 2064 8478 1119898 41669 0 0 13 13 6 1242.83/156.99 c 2050 8522 1111468 41330 0 0 13 13 6 1246.02/157.33 c 2058 8254 1086957 40251 0 0 13 13 6 1248.42/157.64 c 2056 8329 1108528 40553 0 0 13 13 6 1248.42/157.68 c 2065 8491 1121481 41692 0 0 13 13 6 1253.20/158.24 c 29113 100284 13815056 563632 0 0 6 15 13 1254.03/158.35 c 2059 8267 1088486 40272 0 0 13 13 6 1255.60/158.56 c 2051 8535 1112991 41352 0 0 13 13 6 1256.40/158.65 c 2066 8504 1123093 41715 0 0 13 13 6 1259.66/159.01 c 2057 8342 1110127 40576 0 0 13 13 6 1261.98/159.37 c 2060 8280 1090038 40303 0 0 13 13 6 1263.58/159.54 c 26388 91653 11967572 509513 0 0 6 15 13 1264.38/159.60 c 2067 8517 1124676 41738 0 0 13 13 6 1268.44/160.16 c 2052 8548 1114514 41374 0 0 13 13 6 1269.97/160.37 c 2058 8355 1111734 40599 0 0 13 13 6 1270.77/160.40 c 2061 8293 1091567 40324 0 0 13 13 6 1271.57/160.58 c 2068 8530 1126288 41761 0 0 13 13 6 1278.75/161.43 c 2062 8306 1093119 40355 0 0 13 13 6 1279.55/161.56 c 2069 8543 1127871 41784 0 0 13 13 6 1280.35/161.69 c 2053 8561 1116037 41396 0 0 13 13 6 1281.15/161.73 c 2059 8368 1113333 40622 0 0 13 13 6 1286.74/162.46 c 2063 8319 1094648 40376 0 0 13 13 6 1287.54/162.54 c 2070 8556 1129483 41807 0 0 13 13 6 1291.60/163.08 c 2060 8381 1114940 40645 0 0 13 13 6 1293.13/163.27 c 2054 8574 1117560 41418 0 0 13 13 6 1294.72/163.49 c 2064 8332 1096200 40407 0 0 13 13 6 1295.52/163.51 c 2071 8569 1131066 41830 0 0 13 13 6 1302.70/164.43 c 2061 8394 1116539 40668 0 0 13 13 6 1302.70/164.50 c 2072 8582 1132678 41853 0 0 13 13 6 1303.50/164.53 c 2065 8345 1097729 40428 0 0 13 13 6 1305.10/164.79 c 2055 8587 1119083 41440 0 0 13 13 6 1307.56/165.06 c 32110 110863 14820542 619607 0 0 3 15 13 1310.69/165.46 c 2073 8595 1134261 41876 0 0 13 13 6 1311.49/165.56 c 2066 8358 1099281 40459 0 0 13 13 6 1313.89/165.82 c 2062 8407 1118146 40691 0 0 13 13 6 1318.67/166.40 c 2056 8600 1120606 41462 0 0 13 13 6 1318.67/166.44 c 2074 8608 1135873 41899 0 0 13 13 6 1319.47/166.59 c 2067 8371 1100810 40480 0 0 13 13 6 1324.33/167.17 c 2063 8420 1119745 40714 0 0 13 13 6 1326.66/167.40 c 2075 8621 1137456 41922 0 0 13 13 6 1330.66/167.93 c 2057 8613 1122129 41484 0 0 13 13 6 1330.66/167.94 c 2068 8384 1102584 40512 1 0 13 13 6 1331.52/168.04 c 32110 110243 14760464 613810 1 0 2 15 13 1335.44/168.59 c 28000 97250 12699649 540379 0 0 8 15 13 1337.04/168.70 c 2069 8397 1104113 40533 1 0 13 13 6 1337.04/168.73 c 2076 8634 1139080 41943 1 0 13 13 6 1339.50/169.01 c 2064 8434 1121529 40751 1 0 14 14 7 1342.62/169.42 c 2070 8410 1105770 40564 1 0 13 13 6 1342.62/169.43 c 2077 8647 1140638 41967 1 0 13 13 6 1343.42/169.54 c 33000 113978 15244722 636753 0 0 5 15 13 1344.22/169.62 c 28000 97252 12699883 540382 1 0 0 0 0 1346.62/169.95 c 2065 8448 1123230 40784 1 0 14 14 7 1347.49/170.10 c 28000 97254 12700000 540384 1 0 0 0 0 1348.29/170.14 c 2058 8626 1123756 41508 1 0 13 13 6 1348.29/170.14 c 2071 8423 1107299 40585 1 0 13 13 6 1348.29/170.17 c 2078 8660 1142199 41991 1 0 13 13 6 1350.61/170.45 c 33000 113979 15244839 636755 1 0 0 0 0 1351.41/170.59 c 28000 97255 12700117 540386 2 0 0 0 0 1353.81/170.83 c 28000 97257 12700234 540388 2 0 0 0 0 1354.61/170.91 c 2072 8436 1109008 40613 2 0 13 13 6 1354.61/170.92 c 33000 113980 15244956 636757 2 0 0 0 0 1354.61/170.93 c 2079 8673 1143922 42018 2 0 13 13 6 1355.47/171.01 c 2066 8462 1124932 40817 1 0 14 14 7 1355.47/171.06 c 28000 97259 12700351 540390 2 0 0 0 0 1356.28/171.14 c 33000 113982 15245073 636759 2 0 0 0 0 1357.00/171.21 c 2059 8640 1125501 41535 2 0 14 14 7 1357.00/171.23 c 32000 110202 15181419 619233 2 0 7 15 13 1357.80/171.30 c 2073 8450 1110782 40653 2 0 14 14 7 1357.80/171.35 c 2080 8686 1145526 42048 2 0 13 13 6 1360.99/171.70 c 2074 8464 1112562 40693 2 0 14 14 7 1360.99/171.77 c 2081 8699 1147125 42078 2 0 13 13 6 1361.79/171.87 c 2060 8654 1127170 41570 2 0 14 14 7 1362.59/172.00 c 32110 110606 15237827 621439 2 0 8 15 13 1363.46/172.01 c 2067 8475 1126622 40842 2 0 13 13 6 1363.46/172.08 c 2075 8478 1114336 40733 2 0 14 14 7 1364.25/172.18 c 2082 8712 1148729 42108 2 0 13 13 6 1364.98/172.24 c 33000 113334 15168322 630888 1 0 9 15 13 1366.58/172.44 c 2076 8492 1116116 40773 2 0 14 14 7 1366.58/172.48 c 2061 8668 1128834 41605 2 0 14 14 7 1367.38/172.56 c 2083 8725 1150328 42138 2 0 13 13 6 1367.38/172.57 c 2068 8488 1128190 40866 2 0 13 13 6 1369.78/172.81 c 2077 8506 1117890 40813 2 0 14 14 7 1370.58/172.97 c 2084 8738 1151932 42168 2 0 13 13 6 1371.44/173.07 c 2069 8501 1129763 40890 2 0 13 13 6 1371.44/173.08 c 2062 8682 1130503 41640 2 0 14 14 7 1372.24/173.17 c 2078 8520 1119670 40853 2 0 14 14 7 1373.77/173.35 c 2085 8751 1153531 42198 2 0 13 13 6 1375.37/173.55 c 2079 8534 1121444 40893 2 0 14 14 7 1375.37/173.59 c 2070 8514 1131331 40914 2 0 13 13 6 1376.17/173.66 c 2063 8696 1132167 41675 2 0 14 14 7 1376.96/173.75 c 2086 8764 1155135 42228 2 0 13 13 6 1378.56/173.91 c 2080 8548 1123224 40933 2 0 14 14 7 1379.43/174.06 c 2071 8527 1132904 40938 2 0 13 13 6 1380.22/174.14 c 2087 8777 1156735 42258 2 0 13 13 6 1380.95/174.26 c 2064 8710 1133836 41710 2 0 14 14 7 1380.95/174.29 c 2081 8562 1124998 40973 2 0 14 14 7 1383.35/174.53 c 2088 8790 1158339 42288 2 0 13 13 6 1383.35/174.60 c 2072 8540 1134472 40962 2 0 13 13 6 1384.16/174.65 c 2082 8576 1126778 41013 2 0 14 14 7 1385.74/174.84 c 2065 8724 1135500 41745 2 0 14 14 7 1386.54/174.91 c 2089 8803 1159939 42318 2 0 13 13 6 1387.41/175.03 c 2083 8590 1128552 41053 2 0 14 14 7 1387.41/175.09 c 2073 8553 1136045 40986 2 0 13 13 6 1388.93/175.28 c 2090 8816 1161543 42348 2 0 13 13 6 1389.73/175.38 c 34000 117489 15722083 656138 2 0 6 15 13 1390.53/175.43 c 2066 8738 1137169 41780 2 0 14 14 7 1390.53/175.48 c 2084 8604 1130445 41094 3 0 14 14 7 1391.33/175.60 c 34000 117490 15722211 656141 4 0 0 0 0 1392.13/175.69 c 2085 8618 1132317 41125 4 0 14 14 7 1392.93/175.71 c 2074 8567 1137844 41015 3 0 14 14 7 1392.93/175.73 c 2091 8829 1163215 42377 3 0 13 13 6 1393.73/175.81 c 29000 100724 13163433 559554 2 0 6 15 13 1393.73/175.81 c 2086 8632 1134078 41155 4 0 14 14 7 1394.53/175.90 c 2067 8752 1138951 41819 4 0 14 14 7 1394.53/175.94 c 2092 8842 1164890 42406 4 0 13 13 6 1394.53/175.94 c 2087 8646 1135838 41185 4 0 14 14 7 1395.39/176.04 c 2075 8581 1139647 41044 4 0 14 14 7 1395.39/176.06 c 2093 8855 1166449 42434 4 0 13 13 6 1395.39/176.06 c 2088 8660 1137599 41215 4 0 14 14 7 1395.39/176.08 c 2068 8766 1140610 41856 4 0 14 14 7 1396.19/176.17 c 2094 8868 1168012 42462 4 0 13 13 6 1396.19/176.18 c 33000 113653 15661555 638639 3 0 4 15 13 1396.19/176.19 c 2089 8674 1139359 41245 4 0 14 14 7 1396.91/176.20 c 2076 8595 1141339 41072 4 0 14 14 7 1396.91/176.26 c 2069 8780 1142264 41893 4 0 14 14 7 1396.91/176.27 c 33000 113654 15661667 638641 4 0 0 0 0 1396.91/176.30 c 2095 8881 1169571 42490 4 0 13 13 6 1397.71/176.31 c 2090 8688 1141120 41275 4 0 14 14 7 1397.71/176.35 c 33000 113655 15661800 638644 6 0 0 0 0 1397.71/176.37 c 2077 8609 1143030 41100 4 0 14 14 7 1397.71/176.38 c 33000 113658 15662029 638647 6 0 0 0 0 1398.51/176.40 c 2096 8894 1171214 42511 6 0 13 13 6 1398.51/176.42 c 2070 8794 1144045 41920 6 0 14 14 7 1398.51/176.42 c 2091 8701 1142820 41304 6 0 13 13 6 1398.51/176.44 c 2097 8907 1172800 42538 6 0 13 13 6 1398.51/176.46 c 2092 8714 1144387 41331 6 0 13 13 6 1398.51/176.47 c 2071 8808 1145729 41954 6 0 14 14 7 1398.51/176.48 c 2098 8920 1174433 42560 7 0 13 13 6 1399.31/176.50 c 2093 8727 1146071 41359 7 0 13 13 6 1399.31/176.51 c 2099 8933 1175980 42589 7 0 13 13 6 1399.31/176.52 c 2094 8740 1147638 41386 7 0 13 13 6 1399.31/176.52 c 2072 8821 1147371 41977 7 0 13 13 6 1399.31/176.52 c 2078 8623 1144855 41130 6 0 14 14 7 1399.31/176.53 c 2100 8946 1177496 42610 7 0 13 13 6 1399.31/176.54 c 2095 8753 1149205 41413 7 0 13 13 6 1399.31/176.55 c 2101 8959 1179156 42640 8 0 13 13 6 1399.31/176.56 c 2073 8835 1149129 42007 8 0 14 14 7 1399.31/176.56 c 2102 8972 1180672 42661 8 0 13 13 6 1399.31/176.57 c 2096 8765 1150805 41437 8 0 12 12 6 1399.31/176.57 c 2079 8637 1146719 41169 8 0 14 14 7 1399.31/176.58 c 29113 101117 13219305 561783 4 0 10 15 13 1399.31/176.58 c 2103 8985 1182226 42690 8 0 13 13 6 1399.31/176.58 c 2074 8849 1150799 42045 8 0 14 14 7 1399.31/176.58 c 2097 8778 1152495 41461 9 0 13 13 6 1399.31/176.58 c 34000 116830 15641018 650259 9 0 8 15 13 1399.31/176.59 c 2080 8651 1148477 41198 9 0 14 14 7 1399.31/176.59 c 2098 8791 1154142 41491 9 0 13 13 6 1399.31/176.59 c 2104 8999 1184098 42723 9 0 14 14 7 1399.31/176.59 c 2075 8863 1152568 42084 9 0 14 14 7 1399.31/176.60 c 2081 8665 1150121 41226 9 0 14 14 7 1399.31/176.60 c 2099 8804 1155718 41514 9 0 13 13 6 1399.31/176.60 c 2105 9013 1185851 42755 9 0 14 14 7 1400.17/176.61 c 2076 8877 1154212 42122 9 0 14 14 7 1400.17/176.61 c 2082 8679 1151765 41254 9 0 14 14 7 1400.17/176.61 c 2100 8817 1157365 41544 9 0 13 13 6 1400.17/176.61 c 2106 9026 1187526 42784 10 0 13 13 6 1400.17/176.63 c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 7. 1400.17/176.63 c [pFactory][Group N°0] Thread N°0 is joined. 1400.17/176.63 c [pFactory][Group N°0] Thread N°1 is joined. 1400.17/176.63 c [pFactory][Group N°0] Thread N°2 is joined. 1400.17/176.63 c [pFactory][Group N°0] Thread N°3 is joined. 1400.17/176.63 c [pFactory][Group N°0] Thread N°4 is joined. 1400.17/176.63 c [pFactory][Group N°0] Thread N°5 is joined. 1400.17/176.63 c [pFactory][Group N°0] Thread N°6 is joined. 1400.17/176.63 c [pFactory][Group N°0] Thread N°7 is joined. 1400.17/176.63 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°7) 1400.17/176.63 s UNSATISFIABLE 1400.17/176.63 c restarts : 185 1400.17/176.63 c conflicts : 2106 (2 /sec) 1400.17/176.63 c decisions : 9029 (6 /sec) 1400.17/176.63 c propagations : 42787 (31 /sec) 1400.17/176.63 c root propagations : 0 1400.17/176.63 c filter calls : 1187769 (849 /sec) 1400.17/176.63 c useless filter calls : 1168879 (98 %) 1400.17/176.63 c Memory used : 1089.27 MB 1400.17/176.63 c CPU time : 1398.52 s 1400.17/176.63 c real time : 176.634 s 1400.17/176.63
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 (13035 MiB free)
memory of node 1: 16384 MiB (15702 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409352-1569824037/watcher-4409352-1569824037 -o /tmp/evaluation-result-4409352-1569824037/solver-4409352-1569824037 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569816318-31364 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409352-1569824037.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32376, runsolver pid=32373
[startup+0.100146 s]*
/proc/loadavg: 6.21 3.01 2.16 2/194 32377
/proc/meminfo: memFree=29426892/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=28020 memory=4216 CPUtime=0.1 cores=0-7
/proc/32376/stat : 32376 (cosoco) R 32373 32376 31337 0 -1 4202496 1258 0 0 0 10 0 0 0 20 0 1 0 558565209 28692480 1054 33554432000 4194304 6211132 140727270079632 140727270073952 140679740132325 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 7005 1054 806 493 0 310 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28020 KiB
Current children cumulated memory: 4216 KiB
[startup+0.209135 s]*
/proc/loadavg: 6.21 3.01 2.16 2/194 32377
/proc/meminfo: memFree=29426148/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=28872 memory=5024 CPUtime=0.21 cores=0-7
/proc/32376/stat : 32376 (cosoco) R 32373 32376 31337 0 -1 4202496 1495 0 0 0 21 0 0 0 20 0 1 0 558565209 29564928 1256 33554432000 4194304 6211132 140727270079632 140727270073952 140679740132325 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 7218 1256 806 493 0 523 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28872 KiB
Current children cumulated memory: 5024 KiB
[startup+0.308723 s]*
/proc/loadavg: 6.21 3.01 2.16 2/194 32377
/proc/meminfo: memFree=29425776/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=29784 memory=5592 CPUtime=0.31 cores=0-7
/proc/32376/stat : 32376 (cosoco) R 32373 32376 31337 0 -1 4202496 1764 0 0 0 31 0 0 0 20 0 1 0 558565209 30498816 1398 33554432000 4194304 6211132 140727270079632 140727270073952 5817924 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 7446 1398 806 493 0 751 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29784 KiB
Current children cumulated memory: 5592 KiB
[startup+0.70027 s]
/proc/loadavg: 6.21 3.01 2.16 2/194 32377
/proc/meminfo: memFree=29423544/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=32532 memory=8312 CPUtime=0.69 cores=0-7
/proc/32376/stat : 32376 (cosoco) R 32373 32376 31337 0 -1 4202496 2619 0 0 0 69 0 0 0 20 0 1 0 558565209 33312768 2078 33554432000 4194304 6211132 140727270079632 140727270076904 5817214 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 8133 2078 806 493 0 1438 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32532 KiB
Current children cumulated memory: 8312 KiB
[startup+1.50109 s]
/proc/loadavg: 6.21 3.01 2.16 2/194 32377
/proc/meminfo: memFree=29388872/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=623900 memory=531792 CPUtime=2.08 cores=0-7
/proc/32376/stat : 32376 (cosoco) S 32373 32376 31337 0 -1 1077944320 134021 0 0 0 192 16 0 0 20 0 9 0 558565209 638873600 132948 33554432000 4194304 6211132 140727270079632 140727270077888 140679756173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 155975 132948 846 493 0 149280 0
Current children cumulated CPU time: 2.08 s
Current children cumulated vsize: 623900 KiB
Current children cumulated memory: 531792 KiB
[startup+3.11109 s]
/proc/loadavg: 6.21 3.01 2.16 9/202 32386
/proc/meminfo: memFree=28901528/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=1148188 memory=532188 CPUtime=14.93 cores=0-7
/proc/32376/stat : 32376 (cosoco) S 32373 32376 31337 0 -1 1077944320 214416 0 0 0 1432 61 0 0 20 0 9 0 558565209 1175744512 133047 33554432000 4194304 6211132 140727270079632 140727270077888 140679756173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 287047 133047 857 493 0 280352 0
[pid=32376/tid=32378] ppid=32373 vsize=1148188 memory=3588 CPUtime=1.68 cores=0-7
/proc/32376/task/32378/stat : 32378 (cosoco) R 32373 32376 31337 0 -1 4202560 7549 0 0 0 164 4 0 0 20 0 9 0 558565350 1175744512 133047 33554432000 4194304 6211132 140727270079632 140679722249592 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32379] ppid=32373 vsize=1148188 memory=10520 CPUtime=1.66 cores=0-7
/proc/32376/task/32379/stat : 32379 (cosoco) R 32373 32376 31337 0 -1 4202560 6356 0 0 0 166 0 0 0 20 0 9 0 558565350 1175744512 133047 33554432000 4194304 6211132 140727270079632 140679713856888 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32380] ppid=32373 vsize=1148188 memory=984 CPUtime=1.69 cores=0-7
/proc/32376/task/32380/stat : 32380 (cosoco) R 32373 32376 31337 0 -1 4202560 12574 0 0 0 158 11 0 0 20 0 9 0 558565350 1175744512 133047 33554432000 4194304 6211132 140727270079632 140679705463904 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32381] ppid=32373 vsize=1148188 memory=1736 CPUtime=1.69 cores=0-7
/proc/32376/task/32381/stat : 32381 (cosoco) R 32373 32376 31337 0 -1 4202560 15829 0 0 0 168 1 0 0 20 0 9 0 558565350 1175744512 133047 33554432000 4194304 6211132 140727270079632 140679697071200 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32382] ppid=32373 vsize=1148188 memory=281090040359232 CPUtime=1.68 cores=0-7
/proc/32376/task/32382/stat : 32382 (cosoco) R 32373 32376 31337 0 -1 4202560 12184 0 0 0 156 12 0 0 20 0 9 0 558565350 1175744512 133047 33554432000 4194304 6211132 140727270079632 140679688678496 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32383] ppid=32373 vsize=1148188 memory=279585191165172 CPUtime=1.68 cores=0-7
/proc/32376/task/32383/stat : 32383 (cosoco) R 32373 32376 31337 0 -1 4202560 6764 0 0 0 168 0 0 0 20 0 9 0 558565350 1175744512 133047 33554432000 4194304 6211132 140727270079632 140679680286072 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32384] ppid=32373 vsize=1148188 memory=279585191165173 CPUtime=1.69 cores=0-7
/proc/32376/task/32384/stat : 32384 (cosoco) R 32373 32376 31337 0 -1 4202560 14272 0 0 0 156 13 0 0 20 0 9 0 558565350 1175744512 133047 33554432000 4194304 6211132 140727270079632 140679671893368 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32385] ppid=32373 vsize=1148188 memory=0 CPUtime=1.68 cores=0-7
/proc/32376/task/32385/stat : 32385 (cosoco) R 32373 32376 31337 0 -1 4202560 4870 0 0 0 168 0 0 0 20 0 9 0 558565350 1175744512 133047 33554432000 4194304 6211132 140727270079632 140679663500664 5037823 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
Current children cumulated CPU time: 14.93 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532188 KiB
[startup+6.30108 s]
/proc/loadavg: 5.71 2.96 2.15 9/202 32386
/proc/meminfo: memFree=28901208/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=1148188 memory=532216 CPUtime=40.41 cores=0-7
/proc/32376/stat : 32376 (cosoco) S 32373 32376 31337 0 -1 1077944320 537172 0 0 0 3940 101 0 0 20 0 9 0 558565209 1175744512 133054 33554432000 4194304 6211132 140727270079632 140727270077888 140679756173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 287047 133054 857 493 0 280352 0
[pid=32376/tid=32378] ppid=32373 vsize=1148188 memory=140549428774527 CPUtime=4.87 cores=0-7
/proc/32376/task/32378/stat : 32378 (cosoco) R 32373 32376 31337 0 -1 4202560 43664 0 0 0 472 15 0 0 20 0 9 0 558565350 1175744512 133054 33554432000 4194304 6211132 140727270079632 140679722249312 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32379] ppid=32373 vsize=1148188 memory=776 CPUtime=4.81 cores=0-7
/proc/32376/task/32379/stat : 32379 (cosoco) R 32373 32376 31337 0 -1 4202560 50740 0 0 0 478 3 0 0 20 0 9 0 558565350 1175744512 133054 33554432000 4194304 6211132 140727270079632 140679713856608 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32380] ppid=32373 vsize=1148188 memory=13396 CPUtime=4.88 cores=0-7
/proc/32376/task/32380/stat : 32380 (cosoco) R 32373 32376 31337 0 -1 4202560 52478 0 0 0 471 17 0 0 20 0 9 0 558565350 1175744512 133054 33554432000 4194304 6211132 140727270079632 140679705463904 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32381] ppid=32373 vsize=1148188 memory=0 CPUtime=4.88 cores=0-7
/proc/32376/task/32381/stat : 32381 (cosoco) R 32373 32376 31337 0 -1 4202560 54564 0 0 0 484 4 0 0 20 0 9 0 558565350 1175744512 133054 33554432000 4194304 6211132 140727270079632 140679697071200 5038944 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32382] ppid=32373 vsize=1148188 memory=0 CPUtime=4.87 cores=0-7
/proc/32376/task/32382/stat : 32382 (cosoco) R 32373 32376 31337 0 -1 4202560 54162 0 0 0 469 18 0 0 20 0 9 0 558565350 1175744512 133054 33554432000 4194304 6211132 140727270079632 140679688678496 5037821 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32383] ppid=32373 vsize=1148188 memory=0 CPUtime=4.87 cores=0-7
/proc/32376/task/32383/stat : 32383 (cosoco) R 32373 32376 31337 0 -1 4202560 45937 0 0 0 484 3 0 0 20 0 9 0 558565350 1175744512 133054 33554432000 4194304 6211132 140727270079632 140679680285792 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32384] ppid=32373 vsize=1148188 memory=0 CPUtime=4.88 cores=0-7
/proc/32376/task/32384/stat : 32384 (cosoco) R 32373 32376 31337 0 -1 4202560 51171 0 0 0 471 17 0 0 20 0 9 0 558565350 1175744512 133054 33554432000 4194304 6211132 140727270079632 140679671893088 5038944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32385] ppid=32373 vsize=1148188 memory=531792 CPUtime=4.87 cores=0-7
/proc/32376/task/32385/stat : 32385 (cosoco) R 32373 32376 31337 0 -1 4202560 50491 0 0 0 484 3 0 0 20 0 9 0 558565350 1175744512 133054 33554432000 4194304 6211132 140727270079632 140679663500384 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
Current children cumulated CPU time: 40.41 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532216 KiB
[startup+12.7011 s]
/proc/loadavg: 5.89 3.05 2.18 9/202 32386
/proc/meminfo: memFree=28901816/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=1148188 memory=532220 CPUtime=91.52 cores=0-7
/proc/32376/stat : 32376 (cosoco) S 32373 32376 31337 0 -1 1077944320 841972 0 0 0 9031 121 0 0 20 0 9 0 558565209 1175744512 133055 33554432000 4194304 6211132 140727270079632 140727270077888 140679756173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 287047 133055 857 493 0 280352 0
[pid=32376/tid=32378] ppid=32373 vsize=1148188 memory=281090040353376 CPUtime=11.27 cores=0-7
/proc/32376/task/32378/stat : 32378 (cosoco) R 32373 32376 31337 0 -1 4202560 77210 0 0 0 1109 18 0 0 20 0 9 0 558565350 1175744512 133055 33554432000 4194304 6211132 140727270079632 140679722249312 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32379] ppid=32373 vsize=1148188 memory=56 CPUtime=11.11 cores=0-7
/proc/32376/task/32379/stat : 32379 (cosoco) R 32373 32376 31337 0 -1 4202560 83738 0 0 0 1107 4 0 0 20 0 9 0 558565350 1175744512 133055 33554432000 4194304 6211132 140727270079632 140679713856608 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32380] ppid=32373 vsize=1148188 memory=0 CPUtime=11.27 cores=0-7
/proc/32376/task/32380/stat : 32380 (cosoco) R 32373 32376 31337 0 -1 4202560 93855 0 0 0 1108 19 0 0 20 0 9 0 558565350 1175744512 133055 33554432000 4194304 6211132 140727270079632 140679705463904 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32381] ppid=32373 vsize=1148188 memory=7595150791073034607 CPUtime=11.28 cores=0-7
/proc/32376/task/32381/stat : 32381 (cosoco) R 32373 32376 31337 0 -1 4202560 97131 0 0 0 1121 7 0 0 20 0 9 0 558565350 1175744512 133055 33554432000 4194304 6211132 140727270079632 140679697071200 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32382] ppid=32373 vsize=1148188 memory=0 CPUtime=11.27 cores=0-7
/proc/32376/task/32382/stat : 32382 (cosoco) R 32373 32376 31337 0 -1 4202560 97154 0 0 0 1106 21 0 0 20 0 9 0 558565350 1175744512 133055 33554432000 4194304 6211132 140727270079632 140679688678496 5038944 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32383] ppid=32373 vsize=1148188 memory=-2247047206238116441 CPUtime=11.27 cores=0-7
/proc/32376/task/32383/stat : 32383 (cosoco) R 32373 32376 31337 0 -1 4202560 80216 0 0 0 1122 5 0 0 20 0 9 0 558565350 1175744512 133055 33554432000 4194304 6211132 140727270079632 140679680285792 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32384] ppid=32373 vsize=1148188 memory=164 CPUtime=11.27 cores=0-7
/proc/32376/task/32384/stat : 32384 (cosoco) R 32373 32376 31337 0 -1 4202560 94979 0 0 0 1107 20 0 0 20 0 9 0 558565350 1175744512 133055 33554432000 4194304 6211132 140727270079632 140679671893088 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32385] ppid=32373 vsize=1148188 memory=4641640290248704102 CPUtime=11.27 cores=0-7
/proc/32376/task/32385/stat : 32385 (cosoco) R 32373 32376 31337 0 -1 4202560 83675 0 0 0 1122 5 0 0 20 0 9 0 558565350 1175744512 133055 33554432000 4194304 6211132 140727270079632 140679663500384 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
Current children cumulated CPU time: 91.52 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532220 KiB
[startup+25.5011 s]
/proc/loadavg: 6.58 3.34 2.29 9/202 32388
/proc/meminfo: memFree=28900692/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=1148188 memory=532236 CPUtime=193.71 cores=0-7
/proc/32376/stat : 32376 (cosoco) S 32373 32376 31337 0 -1 1077944320 1036185 0 0 0 19238 133 0 0 20 0 9 0 558565209 1175744512 133059 33554432000 4194304 6211132 140727270079632 140727270077888 140679756173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 287047 133059 861 493 0 280352 0
[pid=32376/tid=32378] ppid=32373 vsize=1148188 memory=56 CPUtime=24.07 cores=0-7
/proc/32376/task/32378/stat : 32378 (cosoco) R 32373 32376 31337 0 -1 4202560 108743 0 0 0 2387 20 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679722249312 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32379] ppid=32373 vsize=1148188 memory=56 CPUtime=23.86 cores=0-7
/proc/32376/task/32379/stat : 32379 (cosoco) R 32373 32376 31337 0 -1 4202560 115019 0 0 0 2380 6 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679713856608 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32380] ppid=32373 vsize=1148188 memory=3588 CPUtime=24.07 cores=0-7
/proc/32376/task/32380/stat : 32380 (cosoco) R 32373 32376 31337 0 -1 4202560 114466 0 0 0 2386 21 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679705463904 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32381] ppid=32373 vsize=1148188 memory=10520 CPUtime=24.07 cores=0-7
/proc/32376/task/32381/stat : 32381 (cosoco) R 32373 32376 31337 0 -1 4202560 115583 0 0 0 2399 8 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679697071200 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32382] ppid=32373 vsize=1148188 memory=3588 CPUtime=24.06 cores=0-7
/proc/32376/task/32382/stat : 32382 (cosoco) R 32373 32376 31337 0 -1 4202560 114771 0 0 0 2384 22 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679688678496 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32383] ppid=32373 vsize=1148188 memory=10520 CPUtime=24.07 cores=0-7
/proc/32376/task/32383/stat : 32383 (cosoco) R 32373 32376 31337 0 -1 4202560 107120 0 0 0 2399 8 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679680285792 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32384] ppid=32373 vsize=1148188 memory=532236 CPUtime=24.08 cores=0-7
/proc/32376/task/32384/stat : 32384 (cosoco) R 32373 32376 31337 0 -1 4202560 113527 0 0 0 2386 22 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679671893088 5038707 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32385] ppid=32373 vsize=1148188 memory=0 CPUtime=23.94 cores=0-7
/proc/32376/task/32385/stat : 32385 (cosoco) R 32373 32376 31337 0 -1 4202560 112938 0 0 0 2388 6 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679663500384 5037825 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
Current children cumulated CPU time: 193.71 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532236 KiB
[startup+51.1101 s]
/proc/loadavg: 7.41 3.79 2.47 9/202 32388
/proc/meminfo: memFree=28901908/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=1148188 memory=532236 CPUtime=398.19 cores=0-7
/proc/32376/stat : 32376 (cosoco) S 32373 32376 31337 0 -1 1077944320 1243548 0 0 0 39671 148 0 0 20 0 9 0 558565209 1175744512 133059 33554432000 4194304 6211132 140727270079632 140727270077888 140679756173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 287047 133059 861 493 0 280352 0
[pid=32376/tid=32378] ppid=32373 vsize=1148188 memory=532236 CPUtime=49.68 cores=0-7
/proc/32376/task/32378/stat : 32378 (cosoco) R 32373 32376 31337 0 -1 4202560 126673 0 0 0 4946 22 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679722249312 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32379] ppid=32373 vsize=1148188 memory=532236 CPUtime=49.46 cores=0-7
/proc/32376/task/32379/stat : 32379 (cosoco) R 32373 32376 31337 0 -1 4202560 133322 0 0 0 4939 7 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679713856608 5037823 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32380] ppid=32373 vsize=1148188 memory=56 CPUtime=49.67 cores=0-7
/proc/32376/task/32380/stat : 32380 (cosoco) R 32373 32376 31337 0 -1 4202560 143505 0 0 0 4945 22 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679705463904 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32381] ppid=32373 vsize=1148188 memory=56 CPUtime=49.68 cores=0-7
/proc/32376/task/32381/stat : 32381 (cosoco) R 32373 32376 31337 0 -1 4202560 148509 0 0 0 4958 10 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679697071200 5039026 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32382] ppid=32373 vsize=1148188 memory=6935054825532540783 CPUtime=49.67 cores=0-7
/proc/32376/task/32382/stat : 32382 (cosoco) R 32373 32376 31337 0 -1 4202560 147850 0 0 0 4943 24 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679688678496 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
################
# More data... #
################
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.401 s]
/proc/loadavg: 8.09 5.24 3.15 9/201 32396
/proc/meminfo: memFree=28896284/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=1148188 memory=532236 CPUtime=1318.67 cores=0-7
/proc/32376/stat : 32376 (cosoco) S 32373 32376 31337 0 -1 1077944320 1566828 0 0 0 131697 170 0 0 20 0 9 0 558565209 1175744512 133059 33554432000 4194304 6211132 140727270079632 140727270077888 140679756173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 287047 133059 861 493 0 280352 0
[pid=32376/tid=32378] ppid=32373 vsize=1148188 memory=532236 CPUtime=164.98 cores=0-7
/proc/32376/task/32378/stat : 32378 (cosoco) R 32373 32376 31337 0 -1 4202560 174967 0 0 0 16473 25 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679722249312 5009164 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32379] ppid=32373 vsize=1148188 memory=4004 CPUtime=164.27 cores=0-7
/proc/32376/task/32379/stat : 32379 (cosoco) R 32373 32376 31337 0 -1 4202560 181552 0 0 0 16416 11 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679713856608 5037823 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32380] ppid=32373 vsize=1148188 memory=3472468823259922324 CPUtime=164.94 cores=0-7
/proc/32376/task/32380/stat : 32380 (cosoco) R 32373 32376 31337 0 -1 4202560 179483 0 0 0 16470 24 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679705463904 5039026 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32381] ppid=32373 vsize=1148188 memory=6943526294502006880 CPUtime=164.78 cores=0-7
/proc/32376/task/32381/stat : 32381 (cosoco) R 32373 32376 31337 0 -1 4202560 180490 0 0 0 16466 12 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679697071200 5039536 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32382] ppid=32373 vsize=1148188 memory=532236 CPUtime=164.92 cores=0-7
/proc/32376/task/32382/stat : 32382 (cosoco) R 32373 32376 31337 0 -1 4202560 178474 0 0 0 16466 26 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679688678496 5037823 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32383] ppid=32373 vsize=1148188 memory=1556 CPUtime=164.95 cores=0-7
/proc/32376/task/32383/stat : 32383 (cosoco) R 32373 32376 31337 0 -1 4202560 177809 0 0 0 16482 13 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679680285792 5038964 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32384] ppid=32373 vsize=1148188 memory=532236 CPUtime=164.96 cores=0-7
/proc/32376/task/32384/stat : 32384 (cosoco) R 32373 32376 31337 0 -1 4202560 178574 0 0 0 16469 27 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679671893088 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32385] ppid=32373 vsize=1148188 memory=0 CPUtime=163.39 cores=0-7
/proc/32376/task/32385/stat : 32385 (cosoco) R 32373 32376 31337 0 -1 4202560 181461 0 0 0 16328 11 0 0 20 0 9 0 558565350 1175744512 133059 33554432000 4194304 6211132 140727270079632 140679663500384 5039185 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
Current children cumulated CPU time: 1318.67 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532236 KiB
[startup+172.801 s]
/proc/loadavg: 8.09 5.28 3.18 9/201 32396
/proc/meminfo: memFree=28897076/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=1148188 memory=532240 CPUtime=1369.78 cores=0-7
/proc/32376/stat : 32376 (cosoco) S 32373 32376 31337 0 -1 1077944320 1595855 0 0 0 136805 173 0 0 20 0 9 0 558565209 1175744512 133060 33554432000 4194304 6211132 140727270079632 140727270077888 140679756173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 287047 133060 862 493 0 280352 0
[pid=32376/tid=32378] ppid=32373 vsize=1148188 memory=3588 CPUtime=171.38 cores=0-7
/proc/32376/task/32378/stat : 32378 (cosoco) R 32373 32376 31337 0 -1 4202560 175453 0 0 0 17113 25 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679722249312 5038788 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32379] ppid=32373 vsize=1148188 memory=532240 CPUtime=170.58 cores=0-7
/proc/32376/task/32379/stat : 32379 (cosoco) R 32373 32376 31337 0 -1 4202560 182177 0 0 0 17047 11 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679713856608 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32380] ppid=32373 vsize=1148188 memory=532236 CPUtime=171.34 cores=0-7
/proc/32376/task/32380/stat : 32380 (cosoco) R 32373 32376 31337 0 -1 4202560 188342 0 0 0 17109 25 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679705463904 5039070 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32381] ppid=32373 vsize=1148188 memory=532236 CPUtime=171.18 cores=0-7
/proc/32376/task/32381/stat : 32381 (cosoco) R 32373 32376 31337 0 -1 4202560 192343 0 0 0 17105 13 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679697071200 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32382] ppid=32373 vsize=1148188 memory=984 CPUtime=171.32 cores=0-7
/proc/32376/task/32382/stat : 32382 (cosoco) R 32373 32376 31337 0 -1 4202560 178906 0 0 0 17106 26 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679688678496 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32383] ppid=32373 vsize=1148188 memory=6935054825532540783 CPUtime=171.35 cores=0-7
/proc/32376/task/32383/stat : 32383 (cosoco) R 32373 32376 31337 0 -1 4202560 178500 0 0 0 17122 13 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679680285792 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32384] ppid=32373 vsize=1148188 memory=504 CPUtime=171.36 cores=0-7
/proc/32376/task/32384/stat : 32384 (cosoco) R 32373 32376 31337 0 -1 4202560 184611 0 0 0 17108 28 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679671893088 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32385] ppid=32373 vsize=1148188 memory=984 CPUtime=169.78 cores=0-7
/proc/32376/task/32385/stat : 32385 (cosoco) R 32373 32376 31337 0 -1 4202560 181505 0 0 0 16967 11 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679663500384 5039026 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
Current children cumulated CPU time: 1369.78 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532240 KiB
[startup+174.401 s]
/proc/loadavg: 8.09 5.28 3.18 9/201 32396
/proc/meminfo: memFree=28897448/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=1148188 memory=532240 CPUtime=1382.55 cores=0-7
/proc/32376/stat : 32376 (cosoco) S 32373 32376 31337 0 -1 1077944320 1595855 0 0 0 138082 173 0 0 20 0 9 0 558565209 1175744512 133060 33554432000 4194304 6211132 140727270079632 140727270077888 140679756173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 287047 133060 862 493 0 280352 0
[pid=32376/tid=32378] ppid=32373 vsize=1148188 memory=10520 CPUtime=172.98 cores=0-7
/proc/32376/task/32378/stat : 32378 (cosoco) R 32373 32376 31337 0 -1 4202560 175453 0 0 0 17273 25 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679722249312 5039029 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32379] ppid=32373 vsize=1148188 memory=1692 CPUtime=172.15 cores=0-7
/proc/32376/task/32379/stat : 32379 (cosoco) R 32373 32376 31337 0 -1 4202560 182177 0 0 0 17204 11 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679713856608 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32380] ppid=32373 vsize=1148188 memory=912 CPUtime=172.94 cores=0-7
/proc/32376/task/32380/stat : 32380 (cosoco) R 32373 32376 31337 0 -1 4202560 188342 0 0 0 17269 25 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679705463904 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32381] ppid=32373 vsize=1148188 memory=532240 CPUtime=172.78 cores=0-7
/proc/32376/task/32381/stat : 32381 (cosoco) R 32373 32376 31337 0 -1 4202560 192343 0 0 0 17265 13 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679697071200 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32382] ppid=32373 vsize=1148188 memory=1160 CPUtime=172.92 cores=0-7
/proc/32376/task/32382/stat : 32382 (cosoco) R 32373 32376 31337 0 -1 4202560 178906 0 0 0 17266 26 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679688678496 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32383] ppid=32373 vsize=1148188 memory=984 CPUtime=172.95 cores=0-7
/proc/32376/task/32383/stat : 32383 (cosoco) R 32373 32376 31337 0 -1 4202560 178500 0 0 0 17282 13 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679680285792 5039022 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32384] ppid=32373 vsize=1148188 memory=1940 CPUtime=172.96 cores=0-7
/proc/32376/task/32384/stat : 32384 (cosoco) R 32373 32376 31337 0 -1 4202560 184611 0 0 0 17268 28 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679671893088 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32385] ppid=32373 vsize=1148188 memory=6935054825532540783 CPUtime=171.38 cores=0-7
/proc/32376/task/32385/stat : 32385 (cosoco) R 32373 32376 31337 0 -1 4202560 181505 0 0 0 17127 11 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679663500384 5039007 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
Current children cumulated CPU time: 1382.55 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532240 KiB
[startup+176.001 s]*
/proc/loadavg: 8.16 5.35 3.21 9/201 32396
/proc/meminfo: memFree=28897184/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=1148188 memory=532240 CPUtime=1395.39 cores=0-7
/proc/32376/stat : 32376 (cosoco) S 32373 32376 31337 0 -1 1077944320 1595856 0 0 0 139366 173 0 0 20 0 9 0 558565209 1175744512 133060 33554432000 4194304 6211132 140727270079632 140727270077888 140679756173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 287047 133060 862 493 0 280352 0
[pid=32376/tid=32378] ppid=32373 vsize=1148188 memory=1398722017469774279 CPUtime=174.59 cores=0-7
/proc/32376/task/32378/stat : 32378 (cosoco) R 32373 32376 31337 0 -1 4202560 175454 0 0 0 17434 25 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679722249312 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32379] ppid=32373 vsize=1148188 memory=1808 CPUtime=173.74 cores=0-7
/proc/32376/task/32379/stat : 32379 (cosoco) R 32373 32376 31337 0 -1 4202560 182177 0 0 0 17363 11 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679713856608 5039014 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32380] ppid=32373 vsize=1148188 memory=920 CPUtime=174.55 cores=0-7
/proc/32376/task/32380/stat : 32380 (cosoco) R 32373 32376 31337 0 -1 4202560 188342 0 0 0 17430 25 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679705463904 5039132 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32381] ppid=32373 vsize=1148188 memory=4132 CPUtime=174.39 cores=0-7
/proc/32376/task/32381/stat : 32381 (cosoco) R 32373 32376 31337 0 -1 4202560 192343 0 0 0 17426 13 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679697071200 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32382] ppid=32373 vsize=1148188 memory=4108 CPUtime=174.53 cores=0-7
/proc/32376/task/32382/stat : 32382 (cosoco) R 32373 32376 31337 0 -1 4202560 178906 0 0 0 17427 26 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679688678496 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32383] ppid=32373 vsize=1148188 memory=1408 CPUtime=174.56 cores=0-7
/proc/32376/task/32383/stat : 32383 (cosoco) R 32373 32376 31337 0 -1 4202560 178500 0 0 0 17443 13 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679680285792 5039561 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32384] ppid=32373 vsize=1148188 memory=2800 CPUtime=174.56 cores=0-7
/proc/32376/task/32384/stat : 32384 (cosoco) R 32373 32376 31337 0 -1 4202560 184611 0 0 0 17428 28 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679671893088 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32385] ppid=32373 vsize=1148188 memory=532240 CPUtime=172.99 cores=0-7
/proc/32376/task/32385/stat : 32385 (cosoco) R 32373 32376 31337 0 -1 4202560 181505 0 0 0 17288 11 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679663500384 5038726 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
Current children cumulated CPU time: 1395.39 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532240 KiB
[startup+176.401 s]
/proc/loadavg: 8.16 5.35 3.21 9/201 32396
/proc/meminfo: memFree=28897184/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=1148188 memory=532240 CPUtime=1398.51 cores=0-7
/proc/32376/stat : 32376 (cosoco) S 32373 32376 31337 0 -1 1077944320 1595856 0 0 0 139678 173 0 0 20 0 9 0 558565209 1175744512 133060 33554432000 4194304 6211132 140727270079632 140727270077888 140679756173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 287047 133060 862 493 0 280352 0
[pid=32376/tid=32378] ppid=32373 vsize=1148188 memory=1964 CPUtime=174.98 cores=0-7
/proc/32376/task/32378/stat : 32378 (cosoco) R 32373 32376 31337 0 -1 4202560 175454 0 0 0 17473 25 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679722249312 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32379] ppid=32373 vsize=1148188 memory=2456 CPUtime=174.12 cores=0-7
/proc/32376/task/32379/stat : 32379 (cosoco) R 32373 32376 31337 0 -1 4202560 182177 0 0 0 17401 11 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679713856608 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32380] ppid=32373 vsize=1148188 memory=1760 CPUtime=174.94 cores=0-7
/proc/32376/task/32380/stat : 32380 (cosoco) R 32373 32376 31337 0 -1 4202560 188342 0 0 0 17469 25 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679705463904 5038964 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32381] ppid=32373 vsize=1148188 memory=1720 CPUtime=174.78 cores=0-7
/proc/32376/task/32381/stat : 32381 (cosoco) R 32373 32376 31337 0 -1 4202560 192343 0 0 0 17465 13 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679697071200 5039217 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32382] ppid=32373 vsize=1148188 memory=1096 CPUtime=174.92 cores=0-7
/proc/32376/task/32382/stat : 32382 (cosoco) R 32373 32376 31337 0 -1 4202560 178906 0 0 0 17466 26 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679688678496 5038971 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32383] ppid=32373 vsize=1148188 memory=6304 CPUtime=174.95 cores=0-7
/proc/32376/task/32383/stat : 32383 (cosoco) R 32373 32376 31337 0 -1 4202560 178500 0 0 0 17482 13 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679680285792 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32384] ppid=32373 vsize=1148188 memory=14012 CPUtime=174.95 cores=0-7
/proc/32376/task/32384/stat : 32384 (cosoco) R 32373 32376 31337 0 -1 4202560 184611 0 0 0 17467 28 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679671893088 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32385] ppid=32373 vsize=1148188 memory=6436 CPUtime=173.38 cores=0-7
/proc/32376/task/32385/stat : 32385 (cosoco) R 32373 32376 31337 0 -1 4202560 181505 0 0 0 17327 11 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679663500384 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
Current children cumulated CPU time: 1398.51 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532240 KiB
[startup+176.609 s]
/proc/loadavg: 8.16 5.35 3.21 9/201 32396
/proc/meminfo: memFree=28897184/32770624 swapFree=67002708/67108860
[pid=32376] ppid=32373 vsize=1148188 memory=532240 CPUtime=1400.17 cores=0-7
/proc/32376/stat : 32376 (cosoco) S 32373 32376 31337 0 -1 1077944320 1595857 0 0 0 139844 173 0 0 20 0 9 0 558565209 1175744512 133060 33554432000 4194304 6211132 140727270079632 140727270077888 140679756173047 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
/proc/32376/statm: 287047 133060 862 493 0 280352 0
[pid=32376/tid=32378] ppid=32373 vsize=1148188 memory=504 CPUtime=175.19 cores=0-7
/proc/32376/task/32378/stat : 32378 (cosoco) R 32373 32376 31337 0 -1 4202560 175454 0 0 0 17494 25 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679722249312 5037854 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32379] ppid=32373 vsize=1148188 memory=1560 CPUtime=174.33 cores=0-7
/proc/32376/task/32379/stat : 32379 (cosoco) R 32373 32376 31337 0 -1 4202560 182177 0 0 0 17422 11 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679713856608 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32380] ppid=32373 vsize=1148188 memory=924 CPUtime=175.15 cores=0-7
/proc/32376/task/32380/stat : 32380 (cosoco) R 32373 32376 31337 0 -1 4202560 188343 0 0 0 17490 25 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679705463904 5039145 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32381] ppid=32373 vsize=1148188 memory=1692 CPUtime=174.98 cores=0-7
/proc/32376/task/32381/stat : 32381 (cosoco) R 32373 32376 31337 0 -1 4202560 192343 0 0 0 17485 13 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679697071200 5039217 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32382] ppid=32373 vsize=1148188 memory=1736 CPUtime=175.13 cores=0-7
/proc/32376/task/32382/stat : 32382 (cosoco) R 32373 32376 31337 0 -1 4202560 178906 0 0 0 17487 26 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679688678496 5008940 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32383] ppid=32373 vsize=1148188 memory=1398722017469774279 CPUtime=175.16 cores=0-7
/proc/32376/task/32383/stat : 32383 (cosoco) R 32373 32376 31337 0 -1 4202560 178500 0 0 0 17503 13 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679680285792 5038992 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32384] ppid=32373 vsize=1148188 memory=920 CPUtime=175.16 cores=0-7
/proc/32376/task/32384/stat : 32384 (cosoco) R 32373 32376 31337 0 -1 4202560 184611 0 0 0 17488 28 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679671893088 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
[pid=32376/tid=32385] ppid=32373 vsize=1148188 memory=4132 CPUtime=173.59 cores=0-7
/proc/32376/task/32385/stat : 32385 (cosoco) R 32373 32376 31337 0 -1 4202560 181505 0 0 0 17348 11 0 0 20 0 9 0 558565350 1175744512 133060 33554432000 4194304 6211132 140727270079632 140679663500384 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21426176 140727270081553 140727270081645 140727270081645 140727270084558 0
Current children cumulated CPU time: 1400.17 s
Current children cumulated vsize: 1148188 KiB
Current children cumulated memory: 532240 KiB
Child status: 0
Real time (s): 176.672
CPU time (s): 1400.29
CPU user time (s): 1398.52
CPU system time (s): 1.77084
CPU usage (%): 792.595
Max. virtual memory (cumulated for all children) (KiB): 1148188
Max. memory (cumulated for all children) (KiB): 532240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1398.52
system time used= 1.77084
maximum resident set size= 532260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1595906
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= 117
involuntary context switches= 12310
# summary of solver processes directly reported to runsolver:
# pid: 32376
# total CPU time (s): 1400.29
# total CPU user time (s): 1398.52
# total CPU system time (s): 1.77084
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.913362 second user time and 1.66965 second system time
The end
Begin job on node148 at 2019-09-30 08:13:19 IDJOB=4409352 IDBENCH=125996 IDSOLVER=2877 FILE ID=node148/4409352-1569824037 RUNJOBID= node148-1569816318-31364 PBS_JOBID= 21705905 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-06.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409352-1569824037/watcher-4409352-1569824037 -o /tmp/evaluation-result-4409352-1569824037/solver-4409352-1569824037 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569816318-31364 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409352-1569824037.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c11db23a97f48af6ae936ba62121dffc RANDOM SEED=765066500 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29428504 kB MemAvailable: 31873792 kB Buffers: 134576 kB Cached: 2649136 kB SwapCached: 3492 kB Active: 1791392 kB Inactive: 997356 kB Active(anon): 2828 kB Inactive(anon): 82680 kB Active(file): 1788564 kB Inactive(file): 914676 kB Unevictable: 110988 kB Mlocked: 110988 kB SwapTotal: 67108860 kB SwapFree: 67002708 kB Dirty: 4860 kB Writeback: 0 kB AnonPages: 121604 kB Mapped: 26820 kB Shmem: 71772 kB Slab: 144528 kB SReclaimable: 115768 kB SUnreclaim: 28760 kB KernelStack: 3760 kB PageTables: 5852 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538564 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 75776 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62028 MiB End job on node148 at 2019-09-30 08:16:16