Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | SAT (TO) | 17387 | 1446.82 | 252.111 |
Name | Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml |
MD5SUM | d0ab6aee5f30ff70d66f863e0e3556a1 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 221 |
Best CPU time to get the best result obtained on this benchmark | 9.58451 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1234 |
Number of constraints | 1134 |
Number of domains | 10 |
Minimum domain size | 2 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":2,"count":1034},{"size":6,"count":18},{"size":22,"count":8},{"size":24,"count":4},{"size":36,"count":44},{"size":42,"count":46},{"size":44,"count":80}] |
Minimum variable degree | 1 |
Maximum variable degree | 22 |
Distribution of variable degrees | [{"degree":1,"count":1},{"degree":2,"count":1035},{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":22},{"degree":6,"count":22},{"degree":7,"count":19},{"degree":8,"count":21},{"degree":9,"count":12},{"degree":10,"count":11},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":8},{"degree":18,"count":13},{"degree":19,"count":16},{"degree":20,"count":18},{"degree":21,"count":14},{"degree":22,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 3 |
Distribution of constraint arities | [{"arity":2,"count":100},{"arity":3,"count":1034}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1134 |
Distribution of constraint types | [{"type":"intension","count":1134}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405051-1569014104.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4405051-1569014104.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 20.85/8.37 c solve instance... 26.73/9.24 o 148863 26.73/9.26 o 147962 27.96/9.42 o 147862 27.96/9.46 o 147762 27.96/9.49 o 147761 28.88/9.74 o 146862 30.75/11.01 o 145961 30.75/11.04 o 145861 30.75/11.06 o 145761 30.75/11.09 o 145732 31.08/11.11 o 145731 31.08/11.16 o 145640 31.08/11.19 o 145620 31.08/11.20 o 144960 31.29/11.23 o 144931 31.29/11.24 o 144930 31.29/11.25 o 144839 31.29/11.26 o 144819 31.29/11.28 o 144760 31.66/11.30 o 144731 31.66/11.32 o 144730 31.66/11.34 o 144639 31.66/11.36 o 144619 32.08/11.56 o 144596 32.08/11.57 o 144567 32.28/11.64 o 144503 32.74/11.75 o 144483 32.74/11.78 o 144414 33.29/11.81 o 144393 33.29/11.85 o 144373 33.29/11.87 o 144363 33.29/11.88 o 144353 33.57/11.90 o 144352 33.57/11.92 o 144342 33.57/11.93 o 143747 33.57/11.96 o 143647 33.57/11.98 o 143547 34.05/12.01 o 143528 34.05/12.02 o 143518 34.05/12.05 o 143517 34.05/12.08 o 143427 34.05/12.09 o 143407 34.49/12.15 o 143406 34.96/12.30 o 143383 34.96/12.32 o 143364 34.96/12.33 o 143354 34.96/12.35 o 143290 34.96/12.36 o 143270 34.96/12.38 o 143201 34.96/12.39 o 142407 36.40/12.60 o 142400 36.40/12.63 o 142380 37.95/13.88 o 142311 37.95/13.89 o 142290 38.13/13.92 o 142270 38.13/13.95 o 142260 38.13/13.97 o 142250 38.13/13.99 o 142249 38.48/14.02 o 141946 38.48/14.04 o 141846 38.48/14.05 o 141746 38.48/14.07 o 141727 38.81/14.13 o 141717 38.81/14.13 o 141716 38.81/14.15 o 141626 38.81/14.16 o 141625 38.81/14.19 o 141605 39.06/14.21 o 141583 39.06/14.23 o 141483 39.06/14.24 o 141464 39.06/14.29 o 141454 39.32/14.31 o 141390 39.32/14.36 o 141370 39.32/14.37 o 141301 39.32/14.39 o 141280 39.58/14.44 o 141260 39.58/14.48 o 141250 39.58/14.49 o 141240 39.86/14.51 o 140648 39.86/14.53 o 140548 39.86/14.54 o 140448 39.86/14.56 o 140419 39.86/14.59 o 140418 40.22/14.61 o 140327 40.22/14.62 o 140307 40.22/14.64 o 139647 40.22/14.65 o 139618 41.47/14.80 o 139617 41.47/14.82 o 139526 41.47/14.84 o 139506 41.47/14.85 o 139447 41.47/14.86 o 139418 41.47/14.87 o 139417 41.47/14.89 o 139326 41.85/14.90 o 139306 41.85/14.92 o 139284 41.85/14.94 o 139255 42.15/15.04 o 139202 43.46/16.27 o 139181 43.46/16.29 o 139161 43.64/16.32 o 139151 43.64/16.33 o 139141 43.64/16.35 o 139140 43.64/16.37 o 139130 43.64/16.39 o 139115 44.02/16.41 o 139114 44.02/16.44 o 139094 44.35/16.51 o 138434 44.35/16.55 o 138415 44.35/16.58 o 138405 44.71/16.62 o 138404 44.71/16.62 o 138314 44.71/16.64 o 138313 44.71/16.65 o 138293 44.71/16.66 o 138234 44.71/16.69 o 138215 45.00/16.70 o 138205 45.00/16.74 o 138204 45.00/16.76 o 138114 45.00/16.77 o 138113 45.25/16.86 o 138093 45.25/16.88 o 138071 45.25/16.90 o 138052 45.43/16.91 o 137989 45.43/16.94 o 137968 45.43/16.96 o 137948 45.76/17.04 o 137938 45.76/17.06 o 137928 45.76/17.08 o 137903 46.10/17.12 o 137902 46.10/17.14 o 137882 46.10/17.16 o 137803 46.10/17.17 o 137802 46.10/17.18 o 137782 46.10/17.19 o 137123 46.10/17.20 o 137104 46.47/17.22 o 137094 46.47/17.29 o 137093 46.67/17.30 o 137003 46.67/17.36 o 137002 46.87/17.47 o 136982 46.87/17.49 o 136923 47.05/17.51 o 136457 47.26/17.61 o 136123 48.58/18.80 o 136023 48.58/18.81 o 135923 48.77/18.98 o 135904 48.91/19.00 o 135894 48.91/19.02 o 135893 48.91/19.04 o 135803 48.91/19.06 o 135802 48.91/19.07 o 135782 48.91/19.10 o 135123 49.24/19.14 o 135023 49.24/19.15 o 134923 49.24/19.17 o 134904 49.57/19.29 o 134894 49.57/19.30 o 134893 49.71/19.31 o 134803 49.71/19.32 o 134802 49.71/19.35 o 134782 49.71/19.39 o 134223 49.94/19.42 o 134123 49.94/19.43 o 134023 49.94/19.45 o 134004 49.94/19.47 o 133994 50.29/19.50 o 133993 50.29/19.51 o 133903 50.29/19.53 o 133902 50.29/19.57 o 133882 50.62/19.60 o 133802 50.62/19.62 o 133801 50.62/19.63 o 133781 50.62/19.67 o 133759 50.62/19.68 o 133740 50.90/19.70 o 133731 50.90/19.72 o 133677 50.90/19.77 o 133656 50.90/19.78 o 133636 51.16/19.81 o 133626 51.16/19.82 o 133616 51.16/19.84 o 133222 51.16/19.86 o 133122 51.16/19.88 o 133022 51.16/19.89 o 133003 51.48/19.91 o 132993 51.48/19.93 o 132898 51.71/20.03 o 132881 51.71/20.06 o 131898 51.94/20.18 o 131882 52.08/20.24 o 131872 52.19/20.32 o 131871 52.19/20.35 o 131781 52.19/20.37 o 131780 52.38/20.41 o 131760 52.38/20.48 o 131759 52.59/20.52 o 131748 52.59/20.54 o 131737 52.59/20.56 o 131725 52.82/20.64 o 131656 52.82/20.67 o 131635 52.82/20.69 o 131615 53.04/20.71 o 131605 54.37/21.91 o 131546 54.37/21.94 o 131505 54.37/21.98 o 131496 54.77/22.04 o 131495 54.77/22.10 o 131091 55.18/22.12 o 130991 55.18/22.15 o 130891 55.18/22.16 o 130872 55.18/22.18 o 130862 55.18/22.19 o 130861 55.49/22.21 o 130771 55.49/22.23 o 130770 55.49/22.25 o 130750 55.49/22.26 o 130749 55.49/22.29 o 130738 55.93/22.47 o 130727 55.93/22.48 o 130715 56.13/22.55 o 130646 56.13/22.58 o 130625 56.33/22.62 o 130605 56.33/22.67 o 130595 56.53/22.71 o 130536 56.53/22.73 o 130495 56.53/22.75 o 130487 56.53/22.78 o 130478 57.02/22.89 o 130213 57.27/22.92 o 130113 57.27/22.97 o 130013 57.27/22.99 o 129994 57.48/23.00 o 129984 57.48/23.02 o 129983 57.48/23.09 o 129893 57.66/23.11 o 129892 59.04/24.30 o 129872 59.04/24.34 o 129857 59.04/24.38 o 129837 59.29/24.43 o 129768 59.29/24.44 o 129747 59.29/24.48 o 129727 59.53/24.51 o 129717 59.70/24.60 o 129707 59.70/24.66 o 129648 59.90/24.70 o 129607 60.36/24.80 o 129092 60.36/24.84 o 128992 60.54/24.90 o 128892 60.54/24.97 o 128873 60.74/25.01 o 128863 60.74/25.06 o 128862 60.95/25.11 o 128772 61.17/25.27 o 128771 61.31/25.33 o 128751 61.31/25.34 o 128741 61.53/25.40 o 128739 61.53/25.43 o 128728 61.53/25.47 o 128716 61.75/25.51 o 128647 61.75/25.57 o 128626 61.75/25.58 o 128606 61.75/25.59 o 128596 61.98/25.61 o 128537 61.98/25.61 o 128496 61.98/25.63 o 128486 61.98/25.64 o 128485 61.98/25.65 o 128475 61.98/25.68 o 128474 62.37/25.71 o 128415 62.37/25.73 o 128374 62.37/25.75 o 128364 62.37/25.77 o 128354 62.37/25.78 o 128295 62.37/25.79 o 128254 62.65/25.85 o 128100 63.19/25.96 o 128082 63.19/25.97 o 127100 63.84/26.15 o 127072 63.84/26.18 o 126972 63.84/26.20 o 126872 65.22/27.39 o 126853 65.36/27.43 o 126843 65.36/27.46 o 126842 65.36/27.48 o 126752 65.54/27.50 o 126751 65.54/27.52 o 126731 65.54/27.53 o 126730 65.76/27.60 o 126719 65.76/27.62 o 126708 65.76/27.69 o 126696 66.01/27.72 o 126686 66.01/27.78 o 126676 66.23/27.81 o 126617 66.23/27.84 o 126517 66.23/27.86 o 126476 66.23/27.89 o 126467 66.56/27.96 o 126466 67.03/28.02 o 126062 67.03/28.05 o 125962 67.03/28.08 o 125862 67.26/28.13 o 125843 67.26/28.15 o 125833 67.26/28.20 o 125832 67.44/28.24 o 125742 67.44/28.28 o 125741 67.62/28.32 o 125721 67.62/28.34 o 125720 67.62/28.39 o 125709 67.81/28.42 o 125698 67.81/28.46 o 125686 67.81/28.48 o 125676 68.07/28.51 o 125666 68.07/28.58 o 125607 68.07/28.60 o 125507 68.47/28.82 o 125466 68.47/28.86 o 125458 68.47/28.90 o 125147 69.12/29.01 o 125084 69.12/29.03 o 124147 69.67/29.15 o 124063 69.67/29.20 o 123963 69.86/29.22 o 123863 69.86/29.26 o 123844 70.03/29.33 o 123834 70.03/29.37 o 123833 70.19/29.41 o 123743 70.19/29.43 o 123742 70.19/29.45 o 123722 71.65/30.71 o 123721 71.65/30.77 o 123710 71.84/30.81 o 123699 71.84/30.83 o 123687 71.84/30.86 o 123677 71.84/30.88 o 123667 71.84/30.89 o 123608 72.20/30.92 o 123508 72.20/30.99 o 123467 72.41/31.01 o 123457 72.41/31.05 o 123456 72.41/31.07 o 123446 72.41/31.10 o 123445 72.72/31.12 o 123386 72.72/31.14 o 123345 72.99/31.21 o 123266 72.99/31.22 o 123225 72.99/31.29 o 123211 73.33/31.31 o 123210 73.57/31.40 o 123190 73.57/31.47 o 123189 73.57/31.49 o 123178 73.84/31.59 o 123167 73.99/31.61 o 123155 73.99/31.64 o 123089 73.99/31.67 o 123088 74.28/31.74 o 123068 74.28/31.76 o 123058 74.50/31.81 o 122969 74.50/31.89 o 122968 74.67/31.90 o 122948 74.67/31.93 o 122938 74.67/31.95 o 122936 74.67/31.99 o 122925 74.96/32.04 o 122913 74.96/32.08 o 122852 75.94/32.32 o 122320 75.94/32.36 o 122220 75.94/32.38 o 121852 76.40/32.50 o 121832 78.00/33.80 o 121831 78.00/33.85 o 121758 78.00/33.88 o 121757 78.27/33.90 o 121737 78.27/33.94 o 121727 78.49/34.05 o 121725 78.49/34.08 o 121714 78.71/34.11 o 121692 78.71/34.16 o 121656 78.71/34.18 o 121655 79.08/34.21 o 121635 79.08/34.22 o 121625 79.08/34.25 o 121624 79.08/34.26 o 121614 79.08/34.28 o 121612 79.40/34.32 o 121590 79.69/34.48 o 121589 79.92/34.52 o 121579 79.92/34.55 o 121578 79.92/34.59 o 121573 80.37/34.62 o 121572 80.37/34.66 o 121513 80.37/34.69 o 121472 80.66/34.73 o 121462 80.66/34.75 o 121452 80.66/34.77 o 121393 80.66/34.77 o 121352 80.94/34.82 o 121320 80.94/34.83 o 121302 81.14/34.94 o 121261 81.14/34.97 o 121220 81.45/35.08 o 121183 81.45/35.10 o 121173 81.65/35.12 o 121172 81.65/35.13 o 121162 83.00/36.34 o 121161 83.00/36.36 o 121102 83.00/36.39 o 121061 83.29/36.41 o 121051 83.29/36.43 o 121041 83.29/36.45 o 120982 83.29/36.47 o 120941 83.71/36.52 o 120882 83.71/36.54 o 120841 84.01/36.61 o 120831 84.01/36.64 o 120821 84.01/36.67 o 120820 84.50/36.75 o 120558 84.50/36.79 o 120458 84.90/36.81 o 120358 84.90/36.84 o 120339 84.90/36.86 o 120329 84.90/36.89 o 120328 85.16/36.90 o 120238 85.16/36.93 o 120237 85.16/36.95 o 120217 85.16/36.97 o 120216 85.16/36.98 o 120205 85.43/37.03 o 120194 85.43/37.05 o 120182 85.43/37.09 o 120113 85.67/37.11 o 120092 85.67/37.13 o 120068 85.87/37.25 o 120062 86.11/37.43 o 119068 86.66/37.54 o 118861 86.66/37.56 o 118761 86.66/37.58 o 118661 86.87/37.60 o 118642 86.87/37.62 o 118632 86.87/37.64 o 118631 86.87/37.66 o 118541 86.87/37.68 o 118540 87.12/37.71 o 118520 87.12/37.72 o 118519 88.41/38.99 o 118508 88.55/39.03 o 118497 88.55/39.05 o 118485 88.55/39.09 o 118475 88.85/39.12 o 118465 88.85/39.15 o 118406 88.85/39.18 o 118306 88.85/39.20 o 118265 89.18/39.23 o 118255 89.18/39.27 o 118254 89.41/39.30 o 118244 89.60/39.42 o 118243 89.60/39.46 o 118184 89.60/39.48 o 118143 89.90/39.50 o 118064 89.90/39.54 o 118023 89.90/39.58 o 118009 90.30/39.61 o 118008 90.30/39.63 o 117988 90.30/39.65 o 117987 90.30/39.69 o 117976 90.58/39.71 o 117965 90.58/39.74 o 117953 90.58/39.77 o 117887 90.58/39.80 o 117886 90.83/39.82 o 117866 90.83/39.85 o 117856 90.83/39.87 o 117767 91.10/39.90 o 117766 91.10/39.94 o 117746 91.10/39.96 o 117736 91.10/40.00 o 117734 91.36/40.02 o 117723 91.36/40.05 o 117711 91.36/40.09 o 117677 91.75/40.12 o 117676 91.75/40.14 o 117656 91.75/40.17 o 117388 92.54/40.30 o 117118 92.54/40.34 o 117018 92.54/40.36 o 116918 93.84/41.54 o 116899 93.84/41.58 o 116889 94.01/41.61 o 116888 94.01/41.67 o 116798 94.20/41.70 o 116797 94.20/41.71 o 116777 94.20/41.78 o 116776 94.44/41.83 o 116765 94.44/41.89 o 116754 94.63/41.94 o 116732 94.91/42.05 o 116676 94.91/42.10 o 116675 94.91/42.10 o 116655 95.11/42.13 o 116645 95.11/42.18 o 116556 95.11/42.20 o 116555 95.37/42.25 o 116535 95.37/42.29 o 116525 95.57/42.34 o 116523 95.57/42.38 o 116512 95.57/42.40 o 116490 95.77/42.44 o 116454 95.77/42.47 o 116453 95.77/42.49 o 116433 96.13/42.52 o 116423 96.13/42.55 o 116422 96.13/42.56 o 116412 96.13/42.59 o 116410 96.43/42.61 o 116388 96.43/42.65 o 116387 97.00/42.72 o 116328 97.00/42.74 o 116228 97.00/42.78 o 116209 97.22/42.80 o 116199 97.22/42.83 o 116198 97.22/42.86 o 116108 97.22/42.88 o 116107 97.47/42.90 o 116087 97.47/42.92 o 116086 97.47/42.96 o 116075 97.72/43.00 o 116064 97.72/43.04 o 116042 97.72/43.08 o 115986 98.05/43.11 o 115985 98.30/43.37 o 115965 98.44/43.40 o 115955 98.44/43.43 o 115866 98.44/43.45 o 115865 98.44/43.48 o 115845 98.44/43.49 o 115835 98.79/43.58 o 115833 99.08/43.71 o 115822 99.08/43.75 o 115800 99.33/43.80 o 115764 99.33/43.84 o 115763 99.33/43.86 o 115743 99.33/43.89 o 115733 99.61/43.92 o 115732 99.61/43.95 o 115722 99.61/43.97 o 115720 99.61/44.00 o 115698 99.88/44.03 o 115697 100.62/44.27 o 115418 100.62/44.29 o 115318 100.76/44.33 o 115218 100.76/44.36 o 115199 100.76/44.39 o 115189 101.01/44.41 o 115188 101.01/44.45 o 115098 101.01/44.49 o 115097 101.35/44.69 o 115077 101.49/44.72 o 115067 101.49/44.76 o 115057 101.49/44.79 o 115056 101.66/44.81 o 115046 101.66/44.83 o 115045 101.66/44.87 o 114976 101.66/44.89 o 114975 101.66/44.90 o 114955 101.90/44.93 o 114945 101.90/44.97 o 114856 101.90/44.98 o 114855 102.17/45.00 o 114835 102.17/45.02 o 114825 102.17/45.05 o 114754 102.17/45.09 o 114753 102.45/45.12 o 114733 102.45/45.14 o 114723 102.45/45.16 o 114722 102.45/45.19 o 114712 102.76/45.24 o 114710 102.76/45.27 o 114688 103.07/45.31 o 114687 103.07/45.34 o 114663 103.07/45.35 o 114662 103.07/45.39 o 114642 103.34/45.42 o 114632 103.34/45.44 o 114631 103.34/45.48 o 114621 103.61/45.51 o 114619 103.61/45.53 o 114597 103.61/45.56 o 114596 104.13/45.65 o 114565 104.13/45.67 o 114564 104.35/45.71 o 114544 104.35/45.74 o 114534 104.35/45.77 o 114445 104.59/45.81 o 114444 104.59/45.85 o 114424 104.59/45.87 o 114414 104.59/45.89 o 114412 104.86/45.93 o 114401 104.86/45.99 o 114379 105.12/46.05 o 114343 105.12/46.10 o 114342 105.31/46.16 o 114322 105.48/46.21 o 114312 105.48/46.26 o 114311 105.48/46.27 o 114301 105.68/46.32 o 114299 105.68/46.36 o 114277 105.99/46.41 o 114276 106.66/46.54 o 114243 106.83/46.64 o 114242 108.19/47.92 o 114222 108.19/47.96 o 114212 108.19/48.00 o 114211 108.41/48.02 o 114201 108.41/48.05 o 114199 108.41/48.08 o 114177 108.81/48.13 o 114176 109.37/48.22 o 114167 109.37/48.26 o 114166 109.84/48.34 o 114157 109.84/48.38 o 114156 110.38/48.47 o 114155 110.38/48.49 o 114123 111.02/48.52 o 114122 111.02/48.53 o 114102 111.02/48.56 o 114092 111.02/48.58 o 114091 111.37/48.61 o 114081 111.37/48.66 o 114050 112.00/48.77 o 113786 112.00/48.79 o 113686 112.17/48.81 o 113050 112.59/48.92 o 113022 112.59/48.96 o 113021 112.86/49.01 o 112050 113.63/49.13 o 112038 113.63/49.17 o 112037 113.86/49.23 o 112026 113.86/49.25 o 112015 113.86/49.29 o 111993 115.35/50.51 o 111959 115.35/50.54 o 111958 115.35/50.58 o 111938 115.80/50.87 o 111928 115.96/50.95 o 111926 116.17/51.01 o 111915 116.17/51.02 o 111893 116.99/51.24 o 111883 117.40/51.42 o 111840 117.40/51.44 o 111839 117.40/51.46 o 111819 117.40/51.49 o 111809 117.63/51.52 o 111728 117.63/51.52 o 111727 117.63/51.56 o 111707 117.63/51.57 o 111697 117.63/51.59 o 111637 117.89/51.60 o 111537 117.89/51.62 o 111518 117.89/51.64 o 111508 117.89/51.68 o 111507 118.12/51.72 o 111417 118.12/51.73 o 111416 118.12/51.76 o 111396 118.30/51.86 o 111386 118.30/51.89 o 111384 118.30/51.89 o 111361 118.60/51.92 o 111317 118.60/51.92 o 111316 118.60/51.93 o 111296 118.60/51.97 o 111286 118.60/52.00 o 111284 118.85/52.04 o 111261 119.49/52.13 o 111253 119.49/52.19 o 111252 119.49/52.20 o 111232 119.71/52.21 o 111231 119.71/52.22 o 111220 119.71/52.27 o 111209 119.92/52.33 o 111187 119.92/52.39 o 111151 120.17/52.41 o 111150 120.17/52.47 o 111130 120.17/52.47 o 111120 120.37/52.52 o 111119 120.37/52.58 o 111109 120.61/52.63 o 111107 120.61/52.68 o 111085 120.91/52.73 o 111084 120.91/52.73 o 111051 120.91/52.75 o 111050 121.11/52.89 o 111030 121.23/52.91 o 111020 121.39/53.02 o 111019 121.39/53.03 o 111009 121.62/53.16 o 111007 121.76/53.25 o 110985 121.76/53.29 o 110984 122.58/53.43 o 110921 122.86/53.53 o 49293 124.20/54.78 o 48294 124.39/54.87 o 48284 124.66/54.93 o 48194 124.66/54.99 o 48184 124.90/55.04 o 48112 124.90/55.09 o 48102 125.11/55.14 o 48092 125.11/55.19 o 48083 125.40/55.24 o 48076 125.67/55.31 o 48004 125.67/55.35 o 47994 167.44/60.66 o 47987 167.65/60.70 o 47986 167.91/60.82 o 47978 167.91/60.84 o 47977 168.34/61.04 o 47976 168.34/61.08 o 47975 168.70/61.13 o 47968 168.70/61.16 o 47967 168.70/61.19 o 47966 168.96/61.22 o 47965 168.96/61.24 o 47964 169.20/61.32 o 47963 169.20/61.34 o 47962 179.29/62.65 o 47958 179.29/62.66 o 47949 179.29/62.69 o 47948 179.59/62.72 o 47947 180.58/62.93 o 47938 180.58/62.96 o 47937 180.58/62.98 o 47928 180.85/63.01 o 47927 181.24/63.16 o 47918 181.42/63.21 o 47917 227.52/69.19 o 47874 227.97/69.57 o 47873 227.97/69.58 o 47853 228.13/69.60 o 47844 228.52/69.96 o 47843 228.52/69.99 o 47834 229.02/70.33 o 47833 229.02/70.35 o 47824 229.02/70.36 o 47823 229.57/70.71 o 47814 229.92/71.02 o 47813 229.92/71.03 o 47743 230.32/71.33 o 47733 230.32/71.36 o 47723 230.73/71.66 o 47714 231.08/71.96 o 47713 231.85/72.30 o 47712 232.17/72.57 o 47704 232.32/72.60 o 47703 232.68/72.87 o 47700 232.92/73.09 o 47699 233.12/73.12 o 47641 233.36/73.32 o 47631 233.36/73.35 o 47630 233.64/73.53 o 47621 233.64/73.55 o 47620 233.93/73.72 o 47611 233.93/73.76 o 47610 234.28/73.93 o 47602 234.41/74.07 o 47601 236.96/74.48 o 47600 237.12/74.60 o 47598 237.25/74.63 o 47539 237.46/74.73 o 47529 237.46/74.74 o 47519 237.64/74.83 o 47509 237.64/74.85 o 47500 237.91/74.93 o 47499 238.44/75.02 o 47498 238.44/75.07 o 47439 238.44/75.08 o 47429 238.44/75.10 o 47419 238.74/75.13 o 47409 238.74/75.15 o 47408 239.25/75.43 o 47400 239.25/75.44 o 47399 240.07/75.72 o 47340 240.31/75.96 o 47330 240.31/75.98 o 47320 240.61/76.20 o 47310 240.79/76.26 o 47308 241.08/76.48 o 47307 241.34/76.69 o 47299 241.60/76.89 o 47297 241.88/77.07 o 47238 242.12/77.23 o 47228 242.12/77.25 o 47218 242.50/77.42 o 47208 242.73/77.56 o 47207 243.07/77.71 o 47199 243.24/77.84 o 47198 243.74/77.99 o 46931 244.07/78.10 o 46820 244.24/78.11 o 46818 244.24/78.13 o 46718 244.41/78.23 o 46708 244.41/78.24 o 46698 244.58/78.32 o 46689 244.58/78.34 o 46688 244.96/78.43 o 46619 245.14/78.51 o 46609 245.14/78.54 o 46599 245.33/78.60 o 46598 245.33/78.61 o 46589 245.33/78.66 o 46588 245.62/78.72 o 46587 245.62/78.73 o 46518 245.62/78.76 o 46508 245.82/78.80 o 46498 245.82/78.83 o 46497 245.82/78.86 o 46488 245.82/78.89 o 46487 246.11/78.93 o 46418 246.11/78.96 o 46408 246.11/78.97 o 46398 272.39/82.42 o 46344 273.06/82.82 o 46343 273.58/83.23 o 46342 274.59/83.61 o 46340 275.06/84.00 o 46339 275.16/84.03 o 46330 275.56/84.39 o 46329 276.07/84.75 o 46328 291.20/86.81 o 46326 292.80/88.02 o 46325 293.05/88.20 o 46324 293.21/88.29 o 46323 293.62/88.46 o 46322 293.78/88.53 o 46321 294.14/88.69 o 46320 294.51/88.82 o 46319 294.67/88.94 o 46318 294.83/89.00 o 46317 295.05/89.12 o 46316 295.30/89.25 o 46315 295.50/89.35 o 46314 295.89/89.47 o 46313 320.16/92.58 o 46312 320.90/93.01 o 46224 321.38/93.42 o 46214 321.38/93.46 o 46213 322.06/93.87 o 46212 322.61/94.26 o 46124 323.03/94.62 o 46114 323.16/94.70 o 46113 323.70/95.07 o 46103 324.21/95.42 o 46102 380.10/102.77 o 45690 380.60/103.17 o 45580 380.74/103.24 o 45481 381.25/103.63 o 45382 381.75/104.02 o 45373 382.13/104.39 o 45364 382.63/104.75 o 45363 382.79/104.81 o 45362 383.29/105.18 o 45282 383.77/105.51 o 45273 383.77/105.55 o 45264 384.19/105.84 o 45263 384.19/105.87 o 45262 385.33/106.18 o 45184 385.70/106.42 o 45183 385.93/106.53 o 45182 386.26/106.76 o 45174 386.26/106.79 o 45173 386.81/107.02 o 45172 387.24/107.23 o 45171 387.58/107.40 o 45163 387.58/107.46 o 45162 387.97/107.61 o 45161 388.66/107.90 o 45160 389.19/108.05 o 45159 389.95/108.27 o 44581 390.10/108.37 o 44580 390.27/108.41 o 44481 390.41/108.50 o 44480 390.41/108.52 o 44479 390.41/108.60 o 44470 390.59/108.61 o 44469 390.59/108.63 o 44468 390.88/108.73 o 44371 391.02/108.84 o 44370 391.02/108.86 o 44369 391.02/108.87 o 44283 391.23/108.93 o 44282 391.23/108.95 o 44281 391.23/108.98 o 44272 391.43/109.01 o 44271 391.43/109.03 o 44270 391.77/109.17 o 44182 391.95/109.24 o 44181 392.21/109.38 o 44180 392.47/109.45 o 44172 392.64/109.52 o 44171 392.64/109.58 o 44170 393.24/109.71 o 44169 396.85/110.24 o 43692 397.04/110.32 o 43592 397.32/110.50 o 43492 397.32/110.55 o 43491 397.32/110.59 o 43482 397.59/110.65 o 43481 397.88/110.73 o 43480 397.88/110.79 o 43393 398.07/110.81 o 43392 398.07/110.86 o 43383 398.33/110.93 o 43382 398.33/110.98 o 43381 398.56/111.04 o 43294 398.89/111.28 o 43293 399.03/111.31 o 43284 399.03/111.34 o 43283 399.03/111.38 o 43282 399.55/111.50 o 43205 399.55/111.54 o 43204 409.75/113.73 o 43150 409.94/113.86 o 43149 410.37/114.13 o 43148 410.61/114.31 o 43147 410.61/114.37 o 43140 410.93/114.42 o 43139 410.93/114.47 o 43138 411.14/114.59 o 43137 411.73/114.75 o 43060 411.73/114.79 o 43059 411.89/114.82 o 43058 412.15/114.99 o 43057 412.28/115.02 o 43050 412.28/115.05 o 43049 412.54/115.18 o 43048 412.70/115.21 o 43047 413.08/115.33 o 43040 413.25/115.40 o 43039 413.50/115.68 o 43038 413.62/115.75 o 43037 413.91/115.82 o 42970 413.91/115.87 o 42969 414.12/115.93 o 42968 414.12/115.99 o 42967 414.31/116.00 o 42960 414.31/116.02 o 42959 414.31/116.04 o 42958 414.31/116.08 o 42957 414.72/116.16 o 42956 414.72/116.20 o 42949 415.10/116.23 o 42948 415.10/116.26 o 42947 415.27/116.31 o 42946 415.46/116.43 o 42939 415.46/116.50 o 42938 415.60/116.52 o 42937 415.60/116.58 o 42936 415.91/116.65 o 42869 416.12/116.71 o 42868 416.41/116.95 o 42867 416.59/117.02 o 42866 416.59/117.08 o 42859 416.59/117.09 o 42858 416.84/117.11 o 42857 416.84/117.14 o 42856 417.20/117.29 o 42849 417.34/117.33 o 42848 417.34/117.35 o 42847 417.34/117.38 o 42846 417.86/117.55 o 42837 417.86/117.58 o 42836 418.68/117.76 o 42827 418.86/117.83 o 42826 418.86/117.90 o 42819 419.01/117.96 o 42818 419.22/118.02 o 42817 419.22/118.08 o 42816 419.55/118.15 o 42815 419.55/118.21 o 42806 420.01/118.22 o 42805 420.01/118.24 o 42746 420.26/118.31 o 42736 420.26/118.34 o 42735 420.26/118.37 o 42726 420.26/118.39 o 42725 420.54/118.42 o 42716 420.54/118.45 o 42715 421.76/118.70 o 42666 421.91/118.82 o 42656 422.04/118.96 o 42655 422.20/119.07 o 42646 422.20/119.08 o 42645 422.44/119.18 o 42636 422.44/119.20 o 42635 423.42/119.38 o 42626 423.73/119.44 o 42625 424.03/119.51 o 42624 424.03/119.56 o 42623 424.03/119.57 o 42614 424.27/119.61 o 42613 424.27/119.63 o 42604 424.27/119.64 o 42603 424.27/119.68 o 42595 424.72/119.83 o 42594 424.72/119.87 o 42585 424.72/119.89 o 42584 425.02/119.91 o 42525 425.02/119.94 o 42524 425.02/119.98 o 42515 425.28/120.01 o 42514 425.28/120.06 o 42505 425.28/120.09 o 27303 426.05/120.27 o 27204 426.24/120.34 o 26214 426.49/120.40 o 26204 427.59/120.69 o 26104 434.11/121.59 o 25104 435.04/121.74 o 25103 438.01/122.19 o 25006 438.63/122.24 o 25005 440.68/122.57 o 24994 447.85/123.52 o 24985 448.11/123.64 o 24984 448.11/123.69 o 24983 448.42/123.79 o 24570 448.66/123.89 o 24470 451.91/124.38 o 24370 452.70/124.62 o 24369 467.65/126.59 o 24279 468.83/126.80 o 24258 469.56/126.91 o 23267 471.73/127.21 o 22986 471.93/127.37 o 22975 475.36/127.83 o 22974 490.42/129.76 o 22922 490.42/129.78 o 22921 491.71/129.96 o 22894 531.14/134.95 o 22796 540.26/136.20 o 22116 540.62/136.36 o 22026 541.18/136.60 o 21926 541.63/136.73 o 21917 541.91/136.85 o 21907 546.31/137.55 o 20806 548.30/137.86 o 20706 550.87/138.24 o 20705 557.67/139.12 o 20605 560.66/139.52 o 20604 560.84/139.61 o 20594 575.01/141.47 o 20593 632.15/149.27 o 20494 634.80/149.74 o 20484 717.22/160.11 o 18524 726.23/161.35 o 17504 823.02/173.53 o 17496 823.48/173.66 o 17486 1294.89/232.85 o 17476 1295.16/232.99 o 17399 1295.37/233.08 o 17397 1295.78/233.15 o 17387 1446.11/252.07 s SATISFIABLE 1446.11/252.07 v <instantiation> 1446.11/252.07 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] </list> 1446.11/252.07 v <values>58 296 16 254 16 254 142 380 240 478 442 680 680 442 268 30 16 254 16 254 484 722 240 478 100 338 540 778 764 526 652 414 778 540 86 324 792 554 554 792 694 456 680 442 442 680 352 114 680 442 498 736 554 792 16 254 114 352 268 30 44 282 764 526 268 30 72 310 694 456 778 540 240 478 652 414 456 694 156 394 114 352 16 254 324 86 16 254 708 470 156 394 792 554 72 310 240 478 414 652 750 512 30 268 100 338 16 254 778 540 778 540 128 366 16 254 456 694 554 792 170 408 170 408 282 44 30 268 694 456 114 352 100 338 142 380 778 540 58 296 86 324 72 310 512 750 764 526 792 554 792 554 652 414 366 128 268 30 722 484 128 366 58 296 30 268 680 442 58 296 128 366 282 44 778 540 254 16 268 30 554 792 156 394 736 498 142 380 338 100 792 554 240 478 512 750 16 254 792 554 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 100 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 10 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 </values> 1446.11/252.07 v </instantiation> 1446.11/252.07 c Unexpected resolution interruption!
OK 17387
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 (13267 MiB free) memory of node 1: 16384 MiB (11785 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405051-1569014104/watcher-4405051-1569014104 -o /tmp/evaluation-result-4405051-1569014104/solver-4405051-1569014104 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 467092854 HOME/instance-4405051-1569014104.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=31760, runsolver pid=31757 Current StackSize limit: 8192 KiB [startup+0.100159 s]* /proc/loadavg: 7.55 8.13 8.21 2/211 31781 /proc/meminfo: memFree=25636940/32770624 swapFree=66986244/67108860 [pid=31760] ppid=31757 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31760/stat : 31760 (xcsp3-exec) S 31757 31760 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477667289 115843072 362 33554432000 4194304 5098028 140721755099344 140721755097448 139908762047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140721755108220 140721755108462 140721755108462 140721755111370 0 /proc/31760/statm: 28282 362 304 221 0 87 0 [pid=31762] ppid=31760 vsize=28227396 memory=30068 CPUtime=0.12 cores=0-7 /proc/31762/stat : 31762 (java) S 31760 31760 26041 0 -1 1077944320 5489 0 0 0 11 1 0 0 20 0 20 0 477667289 28904853504 7517 33554432000 4194304 4196468 140725365975104 140725365957648 139721170538231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 /proc/31762/statm: 7056849 7517 3122 1 0 7019032 0 [pid=31762/tid=31763] ppid=31760 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/31762/task/31763/stat : 31763 (java) R 31760 31760 26041 0 -1 4202560 3392 0 0 0 8 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139721174777472 139721154581861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31764] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31764/stat : 31764 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139721127091088 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31765] ppid=31760 vsize=28227396 memory=140157892541104 CPUtime=0 cores=0-7 /proc/31762/task/31765/stat : 31765 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139721126038288 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31766] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31766/stat : 31766 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720719981712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31767] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31767/stat : 31767 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720718928912 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31768] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31768/stat : 31768 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720717875600 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31769] ppid=31760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31762/task/31769/stat : 31769 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720716822800 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31770] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31770/stat : 31770 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720715770512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31771] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31771/stat : 31771 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720714717712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31772] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31772/stat : 31772 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667292 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720152586864 139721170549378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31773] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31773/stat : 31773 (java) S 31760 31760 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477667292 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720151532832 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31774] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31774/stat : 31774 (java) S 31760 31760 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477667293 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720150480496 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31775] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31775/stat : 31775 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720149428816 139721170556827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31776] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31776/stat : 31776 (java) S 31760 31760 26041 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720148375664 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31777] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31777/stat : 31777 (java) R 31760 31760 26041 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720147314512 139721155292350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31778] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31778/stat : 31778 (java) S 31760 31760 26041 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720146270576 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31779] ppid=31760 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/31762/task/31779/stat : 31779 (java) R 31760 31760 26041 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720145217776 139721148903408 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31780] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31780/stat : 31780 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720144165728 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31781] ppid=31760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31762/task/31781/stat : 31781 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 7517 33554432000 4194304 4196468 140725365975104 139720143113008 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31516 KiB [startup+0.210578 s]* /proc/loadavg: 7.55 8.13 8.21 3/211 31781 /proc/meminfo: memFree=25623268/32770624 swapFree=66986244/67108860 [pid=31760] ppid=31757 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31760/stat : 31760 (xcsp3-exec) S 31757 31760 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477667289 115843072 362 33554432000 4194304 5098028 140721755099344 140721755097448 139908762047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140721755108220 140721755108462 140721755108462 140721755111370 0 /proc/31760/statm: 28282 362 304 221 0 87 0 [pid=31762] ppid=31760 vsize=28227396 memory=41352 CPUtime=0.34 cores=0-7 /proc/31762/stat : 31762 (java) S 31760 31760 26041 0 -1 1077944320 9063 0 0 0 31 3 0 0 20 0 20 0 477667289 28904853504 10338 33554432000 4194304 4196468 140725365975104 140725365957648 139721170538231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 /proc/31762/statm: 7056849 10338 3299 1 0 7019032 0 [pid=31762/tid=31763] ppid=31760 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/31762/task/31763/stat : 31763 (java) R 31760 31760 26041 0 -1 4202560 6210 0 0 0 18 2 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139721174771304 139721154618718 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31764] ppid=31760 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7 /proc/31762/task/31764/stat : 31764 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139721127091088 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31765] ppid=31760 vsize=28227396 memory=288370534044231296 CPUtime=0 cores=0-7 /proc/31762/task/31765/stat : 31765 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139721126038288 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31766] ppid=31760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31762/task/31766/stat : 31766 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720719981712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31767] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31767/stat : 31767 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720718928912 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31768] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31768/stat : 31768 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720717875600 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31769] ppid=31760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31762/task/31769/stat : 31769 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720716822800 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31770] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31770/stat : 31770 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720715770512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31771] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31771/stat : 31771 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667290 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720714717712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31772] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31772/stat : 31772 (java) S 31760 31760 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477667292 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720152586864 139721170549378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31773] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31773/stat : 31773 (java) S 31760 31760 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477667292 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720151532832 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31774] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31774/stat : 31774 (java) S 31760 31760 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477667293 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720150480496 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31775] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31775/stat : 31775 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720149428816 139721170556827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31776] ppid=31760 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31762/task/31776/stat : 31776 (java) S 31760 31760 26041 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720148375664 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31777] ppid=31760 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/31762/task/31777/stat : 31777 (java) S 31760 31760 26041 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720147322864 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31778] ppid=31760 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/31762/task/31778/stat : 31778 (java) S 31760 31760 26041 0 -1 1077944384 282 0 0 0 1 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720146270576 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31779] ppid=31760 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/31762/task/31779/stat : 31779 (java) S 31760 31760 26041 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720145217776 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31780] ppid=31760 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31780/stat : 31780 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720144165728 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31781] ppid=31760 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/31762/task/31781/stat : 31781 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667295 28904853504 10338 33554432000 4194304 4196468 140725365975104 139720143113008 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42800 KiB [startup+0.310127 s]* /proc/loadavg: 7.55 8.13 8.21 4/211 31781 /proc/meminfo: memFree=25616388/32770624 swapFree=66986244/67108860 [pid=31760] ppid=31757 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31760/stat : 31760 (xcsp3-exec) S 31757 31760 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477667289 115843072 362 33554432000 4194304 5098028 140721755099344 140721755097448 139908762047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140721755108220 140721755108462 140721755108462 140721755111370 0 /proc/31760/statm: 28282 362 304 221 0 87 0 [pid=31762] ppid=31760 vsize=28231652 memory=50324 CPUtime=0.52 cores=0-7 /proc/31762/stat : 31762 (java) S 31760 31760 26041 0 -1 1077944320 10401 0 0 0 48 4 0 0 20 0 20 0 477667289 28909211648 12581 33554432000 4194304 4196468 140725365975104 140725365957648 139721170538231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 /proc/31762/statm: 7057913 12581 3349 1 0 7019032 0 [pid=31762/tid=31763] ppid=31760 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/31762/task/31763/stat : 31763 (java) R 31760 31760 26041 0 -1 4202560 7303 0 0 0 27 2 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139721174769344 139721154618718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31764] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31764/stat : 31764 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139721127091088 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31765] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31765/stat : 31765 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139721126038288 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31766] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31766/stat : 31766 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720719981712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31767] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31767/stat : 31767 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720718928912 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31768] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31768/stat : 31768 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720717875600 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31769] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31769/stat : 31769 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720716822800 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31770] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31770/stat : 31770 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720715770512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31771] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31771/stat : 31771 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667290 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720714717712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31772] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31772/stat : 31772 (java) S 31760 31760 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477667292 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720152586864 139721170549378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31773] ppid=31760 vsize=28231652 memory=280315469962624 CPUtime=0 cores=0-7 /proc/31762/task/31773/stat : 31773 (java) S 31760 31760 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477667292 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720151532832 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31774] ppid=31760 vsize=28231652 memory=280315469967232 CPUtime=0 cores=0-7 /proc/31762/task/31774/stat : 31774 (java) S 31760 31760 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477667293 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720150480496 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31775] ppid=31760 vsize=28231652 memory=280315469971840 CPUtime=0 cores=0-7 /proc/31762/task/31775/stat : 31775 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720149428816 139721170556827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31776] ppid=31760 vsize=28231652 memory=280315469976448 CPUtime=0.02 cores=0-7 /proc/31762/task/31776/stat : 31776 (java) S 31760 31760 26041 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720148375664 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31777] ppid=31760 vsize=28231652 memory=280315469981056 CPUtime=0.02 cores=0-7 /proc/31762/task/31777/stat : 31777 (java) S 31760 31760 26041 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720147322864 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31778] ppid=31760 vsize=28231652 memory=280315469985664 CPUtime=0.03 cores=0-7 /proc/31762/task/31778/stat : 31778 (java) R 31760 31760 26041 0 -1 4202560 410 0 0 0 3 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720146270576 139721152059580 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31779] ppid=31760 vsize=28231652 memory=280315469990272 CPUtime=0.12 cores=0-7 /proc/31762/task/31779/stat : 31779 (java) S 31760 31760 26041 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720145217776 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31780] ppid=31760 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31780/stat : 31780 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720144165728 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31781] ppid=31760 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/31762/task/31781/stat : 31781 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667295 28909211648 12581 33554432000 4194304 4196468 140725365975104 139720143113008 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51772 KiB [startup+0.701014 s] /proc/loadavg: 7.55 8.13 8.21 5/211 31781 /proc/meminfo: memFree=25598572/32770624 swapFree=66986244/67108860 [pid=31760] ppid=31757 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31760/stat : 31760 (xcsp3-exec) S 31757 31760 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477667289 115843072 362 33554432000 4194304 5098028 140721755099344 140721755097448 139908762047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140721755108220 140721755108462 140721755108462 140721755111370 0 /proc/31760/statm: 28282 362 304 221 0 87 0 [pid=31762] ppid=31760 vsize=28233776 memory=91240 CPUtime=1.92 cores=0-7 /proc/31762/stat : 31762 (java) S 31760 31760 26041 0 -1 1077944320 16046 0 0 0 186 6 0 0 20 0 20 0 477667289 28911386624 22810 33554432000 4194304 4196468 140725365975104 140725365957648 139721170538231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 /proc/31762/statm: 7058444 22810 3457 1 0 7019544 0 [pid=31762/tid=31763] ppid=31760 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7 /proc/31762/task/31763/stat : 31763 (java) R 31760 31760 26041 0 -1 4202560 8725 0 0 0 64 4 0 0 20 0 20 0 477667290 28911386624 22810 33554432000 4194304 4196468 140725365975104 139721174775728 139720810629459 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31764] ppid=31760 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31764/stat : 31764 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477667290 28911386624 22810 33554432000 4194304 4196468 140725365975104 139721127091088 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31765] ppid=31760 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/31762/task/31765/stat : 31765 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28911386624 22810 33554432000 4194304 4196468 140725365975104 139721126038288 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31766] ppid=31760 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/31762/task/31766/stat : 31766 (java) S 31760 31760 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477667290 28911386624 22810 33554432000 4194304 4196468 140725365975104 139720719981712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 ################ # More data... # ################ [pid=31762/tid=7859] ppid=31760 vsize=28769364 memory=4639952720406145389 CPUtime=48.6 cores=0-7 /proc/31762/task/7859/stat : 7859 (java) R 31760 31760 26041 0 -1 4202560 2772 0 0 0 4857 3 0 0 20 0 28 0 477684656 29459828736 947996 33554432000 4194304 4196468 140725365975104 139720129695048 139720810879047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 Current children cumulated CPU time: 1211.42 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 3793432 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252.001 s] /proc/loadavg: 7.51 7.01 7.64 9/218 7897 /proc/meminfo: memFree=21862980/32770624 swapFree=66986244/67108860 [pid=31760] ppid=31757 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31760/stat : 31760 (xcsp3-exec) S 31757 31760 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477667289 115843072 362 33554432000 4194304 5098028 140721755099344 140721755097448 139908762047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140721755108220 140721755108462 140721755108462 140721755111370 0 /proc/31760/statm: 28282 362 304 221 0 87 0 [pid=31762] ppid=31760 vsize=28769364 memory=3794224 CPUtime=1446.11 cores=0-7 /proc/31762/stat : 31762 (java) S 31760 31760 26041 0 -1 1077944320 600962 0 0 0 143879 732 0 0 20 0 28 0 477667289 29459828736 948556 33554432000 4194304 4196468 140725365975104 140725365957648 139721170538231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 /proc/31762/statm: 7192341 948556 3557 1 0 7153441 0 [pid=31762/tid=31763] ppid=31760 vsize=28769364 memory=3794224 CPUtime=8.28 cores=0-7 /proc/31762/task/31763/stat : 31763 (java) S 31760 31760 26041 0 -1 1077944384 17427 0 0 0 801 27 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139721174778944 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31764] ppid=31760 vsize=28769364 memory=3792176 CPUtime=1.23 cores=0-7 /proc/31762/task/31764/stat : 31764 (java) S 31760 31760 26041 0 -1 1077944384 3694 0 0 0 84 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139721127091088 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31765] ppid=31760 vsize=28769364 memory=3792176 CPUtime=1.22 cores=0-7 /proc/31762/task/31765/stat : 31765 (java) S 31760 31760 26041 0 -1 1077944384 4007 0 0 0 83 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139721126038288 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31766] ppid=31760 vsize=28769364 memory=692 CPUtime=1.24 cores=0-7 /proc/31762/task/31766/stat : 31766 (java) S 31760 31760 26041 0 -1 1077944384 3778 0 0 0 86 38 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720719981712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31767] ppid=31760 vsize=28769364 memory=1448 CPUtime=1.25 cores=0-7 /proc/31762/task/31767/stat : 31767 (java) S 31760 31760 26041 0 -1 1077944384 3727 0 0 0 84 41 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720718928912 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31768] ppid=31760 vsize=28769364 memory=3791896 CPUtime=1.25 cores=0-7 /proc/31762/task/31768/stat : 31768 (java) S 31760 31760 26041 0 -1 1077944384 3539 0 0 0 86 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720717875600 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31769] ppid=31760 vsize=28769364 memory=3792240 CPUtime=1.26 cores=0-7 /proc/31762/task/31769/stat : 31769 (java) S 31760 31760 26041 0 -1 1077944384 3839 0 0 0 85 41 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720716822800 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31770] ppid=31760 vsize=28769364 memory=1448 CPUtime=1.27 cores=0-7 /proc/31762/task/31770/stat : 31770 (java) S 31760 31760 26041 0 -1 1077944384 3713 0 0 0 86 41 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720715770512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31771] ppid=31760 vsize=28769364 memory=3310776 CPUtime=1.2 cores=0-7 /proc/31762/task/31771/stat : 31771 (java) S 31760 31760 26041 0 -1 1077944384 3295 0 0 0 81 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720714717712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31772] ppid=31760 vsize=28769364 memory=2725912 CPUtime=0.1 cores=0-7 /proc/31762/task/31772/stat : 31772 (java) S 31760 31760 26041 0 -1 1077944384 5947 0 0 0 9 1 0 0 20 0 28 0 477667292 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720152586864 139721170549378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31773] ppid=31760 vsize=28769364 memory=3792176 CPUtime=0 cores=0-7 /proc/31762/task/31773/stat : 31773 (java) S 31760 31760 26041 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 477667292 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720151532896 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31774] ppid=31760 vsize=28769364 memory=3792172 CPUtime=0 cores=0-7 /proc/31762/task/31774/stat : 31774 (java) S 31760 31760 26041 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 477667293 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720150480512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31775] ppid=31760 vsize=28769364 memory=2004 CPUtime=0 cores=0-7 /proc/31762/task/31775/stat : 31775 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720149428816 139721170556827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31776] ppid=31760 vsize=28769364 memory=988 CPUtime=4.64 cores=0-7 /proc/31762/task/31776/stat : 31776 (java) S 31760 31760 26041 0 -1 1077944384 27566 0 0 0 459 5 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720148375664 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31777] ppid=31760 vsize=28769364 memory=55808 CPUtime=4.33 cores=0-7 /proc/31762/task/31777/stat : 31777 (java) S 31760 31760 26041 0 -1 1077944384 22769 0 0 0 429 4 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720147322864 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31778] ppid=31760 vsize=28769364 memory=3616 CPUtime=3.96 cores=0-7 /proc/31762/task/31778/stat : 31778 (java) S 31760 31760 26041 0 -1 1077944384 19025 0 0 0 391 5 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720146270576 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31779] ppid=31760 vsize=28769364 memory=3792176 CPUtime=1.2 cores=0-7 /proc/31762/task/31779/stat : 31779 (java) S 31760 31760 26041 0 -1 1077944384 15103 0 0 0 116 4 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720145217776 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31780] ppid=31760 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/31762/task/31780/stat : 31780 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720144165728 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31781] ppid=31760 vsize=28769364 memory=3794224 CPUtime=0.11 cores=0-7 /proc/31762/task/31781/stat : 31781 (java) S 31760 31760 26041 0 -1 1077944384 2234 0 0 0 4 7 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720143113008 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7889] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.82 cores=0-7 /proc/31762/task/7889/stat : 7889 (java) R 31760 31760 26041 0 -1 4202560 3603 0 0 0 1882 0 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720131802040 139720815935133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7890] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.83 cores=0-7 /proc/31762/task/7890/stat : 7890 (java) R 31760 31760 26041 0 -1 4202560 743 0 0 0 1882 1 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720130750312 139720807496932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7891] ppid=31760 vsize=28769364 memory=3792052 CPUtime=18.82 cores=0-7 /proc/31762/task/7891/stat : 7891 (java) R 31760 31760 26041 0 -1 4202560 634 0 0 0 1881 1 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720129696920 139720815935975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7892] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.83 cores=0-7 /proc/31762/task/7892/stat : 7892 (java) R 31760 31760 26041 0 -1 4202560 2029 0 0 0 1881 2 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720128641176 139720809440062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7893] ppid=31760 vsize=28769364 memory=3792176 CPUtime=18.45 cores=0-7 /proc/31762/task/7893/stat : 7893 (java) R 31760 31760 26041 0 -1 4202560 2266 0 0 0 1844 1 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720125488200 139720809440071 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7894] ppid=31760 vsize=28769364 memory=3792176 CPUtime=18.82 cores=0-7 /proc/31762/task/7894/stat : 7894 (java) R 31760 31760 26041 0 -1 4202560 634 0 0 0 1882 0 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720124435400 139720815935133 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7895] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.81 cores=0-7 /proc/31762/task/7895/stat : 7895 (java) R 31760 31760 26041 0 -1 4202560 3483 0 0 0 1879 2 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720123383112 139720810879040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7896] ppid=31760 vsize=28769364 memory=3792176 CPUtime=18.8 cores=0-7 /proc/31762/task/7896/stat : 7896 (java) R 31760 31760 26041 0 -1 4202560 822 0 0 0 1880 0 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720126541000 139720815935129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 Current children cumulated CPU time: 1446.11 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 3795672 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.035 s] # the end of solver process 31760 was just reported to runsolver # cumulated CPU time of all completed processes: user=0.000802 s, system=0.001605 s [startup+252.111 s] # the end of solver process 31762 was just reported to runsolver # cumulated CPU time of all completed processes: user=1439.46 s, system=7.35654 s # this solver process was not waited by its parent and was adopted by runsolver Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+252.001 s] /proc/loadavg: 7.51 7.01 7.64 9/218 7897 /proc/meminfo: memFree=21862980/32770624 swapFree=66986244/67108860 [pid=31760] ppid=31757 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/31760/stat : 31760 (xcsp3-exec) S 31757 31760 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477667289 115843072 362 33554432000 4194304 5098028 140721755099344 140721755097448 139908762047100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24535040 140721755108220 140721755108462 140721755108462 140721755111370 0 /proc/31760/statm: 28282 362 304 221 0 87 0 [pid=31762] ppid=31760 vsize=28769364 memory=3794224 CPUtime=1446.11 cores=0-7 /proc/31762/stat : 31762 (java) S 31760 31760 26041 0 -1 1077944320 600962 0 0 0 143879 732 0 0 20 0 28 0 477667289 29459828736 948556 33554432000 4194304 4196468 140725365975104 140725365957648 139721170538231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 /proc/31762/statm: 7192341 948556 3557 1 0 7153441 0 [pid=31762/tid=31763] ppid=31760 vsize=28769364 memory=3794224 CPUtime=8.28 cores=0-7 /proc/31762/task/31763/stat : 31763 (java) S 31760 31760 26041 0 -1 1077944384 17427 0 0 0 801 27 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139721174778944 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31764] ppid=31760 vsize=28769364 memory=3792176 CPUtime=1.23 cores=0-7 /proc/31762/task/31764/stat : 31764 (java) S 31760 31760 26041 0 -1 1077944384 3694 0 0 0 84 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139721127091088 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31765] ppid=31760 vsize=28769364 memory=3792176 CPUtime=1.22 cores=0-7 /proc/31762/task/31765/stat : 31765 (java) S 31760 31760 26041 0 -1 1077944384 4007 0 0 0 83 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139721126038288 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31766] ppid=31760 vsize=28769364 memory=692 CPUtime=1.24 cores=0-7 /proc/31762/task/31766/stat : 31766 (java) S 31760 31760 26041 0 -1 1077944384 3778 0 0 0 86 38 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720719981712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31767] ppid=31760 vsize=28769364 memory=1448 CPUtime=1.25 cores=0-7 /proc/31762/task/31767/stat : 31767 (java) S 31760 31760 26041 0 -1 1077944384 3727 0 0 0 84 41 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720718928912 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31768] ppid=31760 vsize=28769364 memory=3791896 CPUtime=1.25 cores=0-7 /proc/31762/task/31768/stat : 31768 (java) S 31760 31760 26041 0 -1 1077944384 3539 0 0 0 86 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720717875600 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31769] ppid=31760 vsize=28769364 memory=3792240 CPUtime=1.26 cores=0-7 /proc/31762/task/31769/stat : 31769 (java) S 31760 31760 26041 0 -1 1077944384 3839 0 0 0 85 41 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720716822800 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31770] ppid=31760 vsize=28769364 memory=1448 CPUtime=1.27 cores=0-7 /proc/31762/task/31770/stat : 31770 (java) S 31760 31760 26041 0 -1 1077944384 3713 0 0 0 86 41 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720715770512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31771] ppid=31760 vsize=28769364 memory=3310776 CPUtime=1.2 cores=0-7 /proc/31762/task/31771/stat : 31771 (java) S 31760 31760 26041 0 -1 1077944384 3295 0 0 0 81 39 0 0 20 0 28 0 477667290 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720714717712 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31772] ppid=31760 vsize=28769364 memory=2725912 CPUtime=0.1 cores=0-7 /proc/31762/task/31772/stat : 31772 (java) S 31760 31760 26041 0 -1 1077944384 5947 0 0 0 9 1 0 0 20 0 28 0 477667292 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720152586864 139721170549378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31773] ppid=31760 vsize=28769364 memory=3792176 CPUtime=0 cores=0-7 /proc/31762/task/31773/stat : 31773 (java) S 31760 31760 26041 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 477667292 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720151532896 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31774] ppid=31760 vsize=28769364 memory=3792172 CPUtime=0 cores=0-7 /proc/31762/task/31774/stat : 31774 (java) S 31760 31760 26041 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 28 0 477667293 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720150480512 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31775] ppid=31760 vsize=28769364 memory=2004 CPUtime=0 cores=0-7 /proc/31762/task/31775/stat : 31775 (java) S 31760 31760 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720149428816 139721170556827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31776] ppid=31760 vsize=28769364 memory=988 CPUtime=4.64 cores=0-7 /proc/31762/task/31776/stat : 31776 (java) S 31760 31760 26041 0 -1 1077944384 27566 0 0 0 459 5 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720148375664 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31777] ppid=31760 vsize=28769364 memory=55808 CPUtime=4.33 cores=0-7 /proc/31762/task/31777/stat : 31777 (java) S 31760 31760 26041 0 -1 1077944384 22769 0 0 0 429 4 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720147322864 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31778] ppid=31760 vsize=28769364 memory=3616 CPUtime=3.96 cores=0-7 /proc/31762/task/31778/stat : 31778 (java) S 31760 31760 26041 0 -1 1077944384 19025 0 0 0 391 5 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720146270576 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31779] ppid=31760 vsize=28769364 memory=3792176 CPUtime=1.2 cores=0-7 /proc/31762/task/31779/stat : 31779 (java) S 31760 31760 26041 0 -1 1077944384 15103 0 0 0 116 4 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720145217776 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31780] ppid=31760 vsize=28769364 memory=1448 CPUtime=0 cores=0-7 /proc/31762/task/31780/stat : 31780 (java) S 31760 31760 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720144165728 139721170548437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=31781] ppid=31760 vsize=28769364 memory=3794224 CPUtime=0.11 cores=0-7 /proc/31762/task/31781/stat : 31781 (java) S 31760 31760 26041 0 -1 1077944384 2234 0 0 0 4 7 0 0 20 0 28 0 477667295 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720143113008 139721170549378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7889] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.82 cores=0-7 /proc/31762/task/7889/stat : 7889 (java) R 31760 31760 26041 0 -1 4202560 3603 0 0 0 1882 0 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720131802040 139720815935133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7890] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.83 cores=0-7 /proc/31762/task/7890/stat : 7890 (java) R 31760 31760 26041 0 -1 4202560 743 0 0 0 1882 1 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720130750312 139720807496932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7891] ppid=31760 vsize=28769364 memory=3792052 CPUtime=18.82 cores=0-7 /proc/31762/task/7891/stat : 7891 (java) R 31760 31760 26041 0 -1 4202560 634 0 0 0 1881 1 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720129696920 139720815935975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7892] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.83 cores=0-7 /proc/31762/task/7892/stat : 7892 (java) R 31760 31760 26041 0 -1 4202560 2029 0 0 0 1881 2 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720128641176 139720809440062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7893] ppid=31760 vsize=28769364 memory=3792176 CPUtime=18.45 cores=0-7 /proc/31762/task/7893/stat : 7893 (java) R 31760 31760 26041 0 -1 4202560 2266 0 0 0 1844 1 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720125488200 139720809440071 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7894] ppid=31760 vsize=28769364 memory=3792176 CPUtime=18.82 cores=0-7 /proc/31762/task/7894/stat : 7894 (java) R 31760 31760 26041 0 -1 4202560 634 0 0 0 1882 0 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720124435400 139720815935133 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7895] ppid=31760 vsize=28769364 memory=1448 CPUtime=18.81 cores=0-7 /proc/31762/task/7895/stat : 7895 (java) R 31760 31760 26041 0 -1 4202560 3483 0 0 0 1879 2 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720123383112 139720810879040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 [pid=31762/tid=7896] ppid=31760 vsize=28769364 memory=3792176 CPUtime=18.8 cores=0-7 /proc/31762/task/7896/stat : 7896 (java) R 31760 31760 26041 0 -1 4202560 822 0 0 0 1880 0 0 0 20 0 28 0 477690605 29459828736 948556 33554432000 4194304 4196468 140725365975104 139720126541000 139720815935129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7716864 140725365978096 140725365978267 140725365978267 140725365981135 0 Current children cumulated CPU time: 1446.11 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 3795672 KiB Child status: 143 Real time (s): 252.111 CPU time (s): 1446.82 CPU user time (s): 1439.46 CPU system time (s): 7.35654 CPU usage (%): 573.881 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 3795672 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1439.46 system time used= 7.35654 maximum resident set size= 3794624 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 603044 page faults= 0 swaps= 0 block input operations= 0 block output operations= 536 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 77179 involuntary context switches= 14810 # summary of solver processes directly reported to runsolver: # pid: 31760,31762 # total CPU time (s): 1446.82 # total CPU user time (s): 1439.46 # total CPU system time (s): 7.35654 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.98633 second user time and 2.94986 second system time The end
Begin job on node104 at 2019-09-20 22:04:43 IDJOB=4405051 IDBENCH=141204 IDSOLVER=2866 FILE ID=node104/4405051-1569014104 RUNJOBID= node104-1569000410-26068 PBS_JOBID= 21704740 Free space on /tmp= 9832 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405051-1569014104/watcher-4405051-1569014104 -o /tmp/evaluation-result-4405051-1569014104/solver-4405051-1569014104 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 467092854 HOME/instance-4405051-1569014104.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1 RANDOM SEED=467092854 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 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: 25653820 kB MemAvailable: 31828076 kB Buffers: 46436 kB Cached: 6202084 kB SwapCached: 22652 kB Active: 3123320 kB Inactive: 3151832 kB Active(anon): 2688 kB Inactive(anon): 73140 kB Active(file): 3120632 kB Inactive(file): 3078692 kB Unevictable: 109708 kB Mlocked: 109708 kB SwapTotal: 67108860 kB SwapFree: 66986244 kB Dirty: 26136 kB Writeback: 12 kB AnonPages: 114880 kB Mapped: 52200 kB Shmem: 40708 kB Slab: 433300 kB SReclaimable: 403392 kB SUnreclaim: 29908 kB KernelStack: 3376 kB PageTables: 5520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498164 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9804 MiB End job on node104 at 2019-09-20 22:08:55